Stem metalanguag$ (all stems)

15 papers:

SEKE-2012-WilsonL #metalanguage #specification

A Tiny Specification Metalanguage (WWW, YL), pp. 486–490.

GPCE-2011-ArnoldusBS #less is more #metalanguage

Less is more: unparser-completeness of metalanguages for template engines (BJA, MvdB, AS), pp. 137–146.

PEPM-2010-Siek #metalanguage

General purpose languages should be metalanguages (JGS), pp. 3–4.

ICFP-2010-Gordon #metalanguage #ml #named #question

ML: metalanguage or object language? (MJCG), pp. 1–2.

WRLA-2008-GoriacCLAG09 #maude #metalanguage

Patterns for Maude Metalanguage Applications (EIG, GC, DL, OA, GG), pp. 121–138.

GPCE-2007-Veldhuizen #component #metalanguage

Parsimony principles for software components and metalanguages (TLV), pp. 115–122.

SAC-2005-DAgostiniF #aspect-oriented #metalanguage #preprocessor

Bridging AOP to SMP: turning GCC into a metalanguage preprocessor (TSD, AAF), pp. 1563–1564.

CSL-2005-Katsumata #logic #metalanguage #semantics

A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.

FoSSaCS-2003-MoggiF #metalanguage #monad #multi

A Monadic Multi-stage Metalanguage (EM, SF), pp. 358–374.

FLOPS-2001-Nadathur #implementation #metalanguage #prolog

The Metalanguage λ-Prolog and Its Implementation (GN), pp. 1–20.

WRLA-1998-ClavelDELMMQ #maude #metalanguage

Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.

FME-1993-AstesianoR #metalanguage #specification

A Metalanguage for the Formal Requirement Specification of Reactive Systems (EA, GR), pp. 110–128.

PPoPP-1991-YangC #metalanguage #program transformation #using

Parallel-Program Transformation Using A Metalanguage (JAY, YiC), pp. 11–20.

SEKE-1990-SaveantC #metalanguage #problem #representation

A Metalanguage for Representation and Control in Assumption-based Problem Solvers (PS, PC), pp. 159–164.

POPL-1978-GordonMMNW #interactive #metalanguage #proving

A Metalanguage for Interactive Proof in LCF (MJCG, RM, LM, MCN, CPW), pp. 119–130.