BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
formal (3)
mechan (3)
generic (2)
toward (2)
use (2)

Stem metatheori$ (all stems)

15 papers:

OOPSLAOOPSLA-2015-DaraisMH #composition #program analysis #reuse
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.
ESOPESOP-2012-LeeOCY #first-order #framework #named
GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.
LICSLICS-2010-JohannSV #algebra
A Generic Operational Metatheory for Algebraic Effects (PJ, AS, JV), pp. 209–218.
Engineering formal metatheory (BEA, AC, BCP, RP, SW), pp. 3–15.
CSLCSL-2008-AbelR #higher-order #type system
Syntactic Metatheory of Higher-Order Subtyping (AA, DR), pp. 446–460.
Mechanizing the Metatheory of LF (CU, JC, SB), pp. 45–56.
PPDPPPDP-2007-CheneyM #model checking
Mechanized metatheory model-checking (JC, AM), pp. 75–86.
POPLPOPL-2007-LeeCH #ml #standard #towards
Towards a mechanized metatheory of standard ML (DKL, KC, RH), pp. 173–184.
CADECADE-1999-FeltyHR #abstraction #syntax #using
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (APF, DJH, AR), pp. 237–251.
POPLPOPL-1997-Sands #functional #proving
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (DS), pp. 428–441.
CADECADE-1996-BasinM #induction
Structuring Metatheory on Inductive Definitions (DAB, SM), pp. 171–185.
PODSPODS-1995-Papadimitriou #database #query
Database Metatheory: Asking the Big Queries (CHP), pp. 1–10.
KRKR-1991-Lifschitz #towards
Toward a Metatheory of Action (VL), pp. 376–386.
Computational Metatheory in Nuprl (DJH), pp. 238–257.
CADECADE-1982-Weyhrauch #using
An Example of FOL Using Metatheory (RWW), pp. 151–158.

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.