1 |
Threaded Code Generation with a Meta-Tracing JIT Compiler ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Automating Variability Model Inference for Component-Based Language Implementations
|
|
|
|
In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014)
|
|
BASE
|
|
Show details
|
|
7 |
Description and Optimization of Abstract Machines in a Dialect of Prolog ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
From a calculus to an execution environment for stream processing
|
|
|
|
In: http://hirzels.com/martin/papers/debs12-river.pdf (2012)
|
|
BASE
|
|
Show details
|
|
9 |
Konzept und Entwicklung eines Werkzeugs zur automatisierten Übersetzung natürlichsprachlicher Anforderungen
|
|
|
|
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-3301/DIP-3301.pdf (2012)
|
|
BASE
|
|
Show details
|
|
10 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.informatik.uni-marburg.de/%7Ekaestner/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
11 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.cs.cmu.edu/~ckaestne/pdf/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
12 |
Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Using Memory Mapping to Support Cactus Stacks in Work-Stealing Runtime Systems
|
|
|
|
In: http://pdos.csail.mit.edu/~sbw/papers/pact183a-lee.pdf (2010)
|
|
BASE
|
|
Show details
|
|
14 |
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Debug all your code: Portable mixed-environment debugging
|
|
|
|
In: http://hirzels.com/martin/papers/oopsla09-jni-debug.pdf (2009)
|
|
BASE
|
|
Show details
|
|
16 |
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
Bungale HDTrans: An Open Source, Low-Level Dynamic Instrumentation System
|
|
|
|
In: https://www.usenix.org/legacy/events/vee06/full_papers/p175-sridhar.pdf (2006)
|
|
BASE
|
|
Show details
|
|
|
|