Stem metatheori$ (all stems)

15 papers:

OOPSLA-2015-DaraisMH #composition #program analysis #reuse

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.

ESOP-2012-LeeOCY #first-order #framework #named

GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.

LICS-2010-JohannSV #algebra

A Generic Operational Metatheory for Algebraic Effects (PJ, AS, JV), pp. 209–218.

POPL-2008-AydemirCPPW

Engineering formal metatheory (BEA, AC, BCP, RP, SW), pp. 3–15.

CSL-2008-AbelR #higher-order #type system

Syntactic Metatheory of Higher-Order Subtyping (AA, DR), pp. 446–460.

LICS-2008-UrbanCB

Mechanizing the Metatheory of LF (CU, JC, SB), pp. 45–56.

PPDP-2007-CheneyM #model checking

Mechanized metatheory model-checking (JC, AM), pp. 75–86.

POPL-2007-LeeCH #ml #standard #towards

Towards a mechanized metatheory of standard ML (DKL, KC, RH), pp. 173–184.

CADE-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.

POPL-1997-Sands #functional #proving

From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (DS), pp. 428–441.

CADE-1996-BasinM #induction

Structuring Metatheory on Inductive Definitions (DAB, SM), pp. 171–185.

PODS-1995-Papadimitriou #database #query

Database Metatheory: Asking the Big Queries (CHP), pp. 1–10.

KR-1991-Lifschitz #towards

Toward a Metatheory of Action (VL), pp. 376–386.

CADE-1988-Howe

Computational Metatheory in Nuprl (DJH), pp. 238–257.

CADE-1982-Weyhrauch #using

An Example of FOL Using Metatheory (RWW), pp. 151–158.