Tag #metalanguage
36 papers:
SLE-2017-Mosses #specification- Engineering meta-languages for specifying software languages (PDM), p. 1.
GPCE-2016-KonatEV #language workbench- Bootstrapping domain-specific meta-languages in language workbenches (GK, SE, EV), pp. 47–58.
- SLE-2015-DegueuleCBBJ #composition #development #domain-specific language #named #reuse
- Melange: a meta-language for modular and reusable development of DSLs (TD, BC, AB, OB, JMJ), pp. 25–36.
DATE-2015-DeAntoniDTCC #concurrent #domain-specific language #towards- Towards a meta-language for the concurrency concern in DSLs (JD, PID, CT, JC, BC), pp. 313–316.
SEKE-2012-WilsonL #specification- A Tiny Specification Metalanguage (WWW, YL), pp. 486–490.
- SLE-2012-HillsKV #type safety
- Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.
- GPCE-2011-ArnoldusBS #less is more
- Less is more: unparser-completeness of metalanguages for template engines (BJA, MvdB, AS), pp. 137–146.
ICFP-2010-Gordon #ml #named #question- ML: metalanguage or object language? (MJCG), pp. 1–2.
PEPM-2010-Siek - General purpose languages should be metalanguages (JGS), pp. 3–4.
WRLA-2008-GoriacCLAG09 #maude- Patterns for Maude Metalanguage Applications (EIG, GC, DL, OA, GG), pp. 121–138.
- GPCE-2007-Veldhuizen #component
- Parsimony principles for software components and metalanguages (TLV), pp. 115–122.
MoDELS-2006-DucasseG #execution #smalltalk #using- Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
- MoDELS-2006-DucasseG #execution #smalltalk #using
- Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
- MoDELS-2005-MullerFJ #execution #object-oriented #weaving
- Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.
- MoDELS-2005-MullerFJ #execution #object-oriented #weaving
- Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.
SAC-2005-DAgostiniF #aspect-oriented #preprocessor- Bridging AOP to SMP: turning GCC into a metalanguage preprocessor (TSD, AAF), pp. 1563–1564.
CSL-2005-Katsumata #logic #semantics- A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.
FoSSaCS-2003-MoggiF #monad #multi- A Monadic Multi-stage Metalanguage (EM, SF), pp. 358–374.
FLOPS-2001-Nadathur #implementation #prolog- The Metalanguage λ-Prolog and Its Implementation (GN), pp. 1–20.
ASE-1999-Wile #architecture #named- AML: An Architecture Meta-Language (DSW), pp. 183–190.
- WRLA-1998-ClavelDELMMQ #maude
- Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
LOPSTR-1994-BrogiC #logic programming #source code- Gödel as a Meta-Language for Composing Logic Programs (AB, SC), pp. 377–394.
CADE-1994-Pfenning #deduction #named- Elf: A Meta-Language for Deductive Systems (FP), pp. 811–815.
FME-1993-AstesianoR #specification- A Metalanguage for the Formal Requirement Specification of Reactive Systems (EA, GR), pp. 110–128.
- VDME-1991-KinnaesV #debugging
- A Debugger for a Meta-IV-like Meta-Language (DK, KDV), pp. 597–603.
PPoPP-1991-YangC #program transformation #using- Parallel-Program Transformation Using A Metalanguage (JAY, YiC), pp. 11–20.
- SEKE-1990-SaveantC #problem #representation
- A Metalanguage for Representation and Control in Assumption-based Problem Solvers (PS, PC), pp. 159–164.
DAC-1987-Brei #named #representation- Needed: A Meta-Language for Evaluating the Expressiveness of EDIF, IGES, VHDL and Other Representation Mechanisms (MLB), p. 565.
ESOP-1986-Nielson #code generation #correctness- Correctness of Code Generation from a Two-Level Meta-Language (FN), pp. 30–40.
- ESOP-1986-NielsonN #aspect-oriented
- Pragmatic Aspects of Two-Level Denotational Meta-Languages (HRN, FN), pp. 133–143.
POPL-1985-JohnsonF #attribute grammar #editing #incremental- A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors (GFJ, CNF), pp. 141–151.
ILPC-1982-Eshghi82 #fault #logic #programming- Application of Meta-language Programming to Fault Finding in Logic Circuits (KE), pp. 240–246.
TFDA-1980-Bjorner - Reference Manual for the Meta-Language (DB), pp. 607–623.
- VDM-1978-Bjorner #programming #tutorial
- Programming in the META-Language: A Tutorial (DB), pp. 24–217.
- VDM-1978-Jones
- The META-Language: A Reference Manual (CBJ), pp. 218–277.
- POPL-1978-GordonMMNW #interactive #proving
- A Metalanguage for Interactive Proof in LCF (MJCG, RM, LM, MCN, CPW), pp. 119–130.
