Formal Compiler Implementation in a Logical Framework (original) (raw)
Jason HickeyRelated papers
≪Java≫OCL Based on New Presentation of the OCL-Syntax
Lecture Notes in Computer Science, 2002
Representing the unknown in specification languages
Argos: an automaton-based synchronous language
Computer Languages, 2001
Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '00, 2000
Ôô Blockin Blockinøý Óó Ðùùøóóøø Ë Blockin Blockinøøøöòòø×
2007
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Related papers
The Meta Transformation Tool for Skeleton-Based Languages
2000
Constraints: an operational framework for Constructions Grammars
ÓËÀÀÍÁÀÀÒÀÐ ÕÎÒÛÍ ÍÃÍ ÕÐÑÍÈÉ ÕÍÄ ÝËÅÌÅÍÒÄÈÉÍ ÝËÅÌÅÍÒ ÕÎÎÐÎÍÄÛÍ ÕÀÐÈËÖÀÍ ÕÀÌÀÀÐÀËÛÃ ÒÎÎÖÎÕ ÍÜ
Combining Logic Programs and Monadic Second Order Logics by Program Transformation
Lecture Notes in Computer Science, 2003
PROSOCS: A platform for programming software agents in computational logic
2004
Journal of Automata, Languages and Combinatorics u (v) w, x {y
Well-Typed Logic Programs Are not Wrong
Lecture Notes in Computer Science, 2001
Related topics
MathematicsCompilersSyntaxCase StudiesMathematical LogicCodingCode GenerationParsersTransformationsLogical Framework Analysis