BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
specif (2)
languag (2)
maud (2)
be (1)
more (1)

Stem metalanguag$ (all stems)

15 papers:

SEKESEKE-2012-WilsonL #metalanguage #specification
A Tiny Specification Metalanguage (WWW, YL), pp. 486–490.
GPCEGPCE-2011-ArnoldusBS #less is more #metalanguage
Less is more: unparser-completeness of metalanguages for template engines (BJA, MvdB, AS), pp. 137–146.
PEPMPEPM-2010-Siek #metalanguage
General purpose languages should be metalanguages (JGS), pp. 3–4.
ICFPICFP-2010-Gordon #metalanguage #ml #named #question
ML: metalanguage or object language? (MJCG), pp. 1–2.
WRLAWRLA-2008-GoriacCLAG09 #maude #metalanguage
Patterns for Maude Metalanguage Applications (EIG, GC, DL, OA, GG), pp. 121–138.
GPCEGPCE-2007-Veldhuizen #component #metalanguage
Parsimony principles for software components and metalanguages (TLV), pp. 115–122.
SACSAC-2005-DAgostiniF #aspect-oriented #metalanguage #preprocessor
Bridging AOP to SMP: turning GCC into a metalanguage preprocessor (TSD, AAF), pp. 1563–1564.
CSLCSL-2005-Katsumata #logic #metalanguage #semantics
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.
FoSSaCSFoSSaCS-2003-MoggiF #metalanguage #monad #multi
A Monadic Multi-stage Metalanguage (EM, SF), pp. 358–374.
FLOPSFLOPS-2001-Nadathur #implementation #metalanguage #prolog
The Metalanguage λ-Prolog and Its Implementation (GN), pp. 1–20.
WRLAWRLA-1998-ClavelDELMMQ #maude #metalanguage
Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
FMFME-1993-AstesianoR #metalanguage #specification
A Metalanguage for the Formal Requirement Specification of Reactive Systems (EA, GR), pp. 110–128.
PPoPPPPoPP-1991-YangC #metalanguage #program transformation #using
Parallel-Program Transformation Using A Metalanguage (JAY, YiC), pp. 11–20.
SEKESEKE-1990-SaveantC #metalanguage #problem #representation
A Metalanguage for Representation and Control in Assumption-based Problem Solvers (PS, PC), pp. 159–164.
POPLPOPL-1978-GordonMMNW #interactive #metalanguage #proving
A Metalanguage for Interactive Proof in LCF (MJCG, RM, LM, MCN, CPW), pp. 119–130.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.