DE eng

Search in the Catalogues and Directories

Page: 1 2 3
Hits 1 – 20 of 45

1
Threaded Code Generation with a Meta-Tracing JIT Compiler ...
BASE
Show details
2
Enabling Dataflow Optimization for Quantum Programs ...
BASE
Show details
3
Bringing GNU Emacs to Native Code ...
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
Siegmund, Nadine. - : Stuttgart, Germany, Universität Stuttgart, 2012
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 ...
Paquet, Joey; Mokhov, Serguei A.. - : arXiv, 2011
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 ...
Mokhov, Serguei A.; Paquet, Joey. - : arXiv, 2009
BASE
Show details
17
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions ...
Mokhov, Serguei A.; Paquet, Joey. - : arXiv, 2009
BASE
Show details
18
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ...
Mokhov, Serguei A.; Paquet, Joey. - : arXiv, 2009
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

Page: 1 2 3

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
45
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern