<filename>src/main/resources/static/mas_json/2009_lics_-1765976957110860459.json
{"title": "Substructural Operational Semantics as Ordered Logic Programming.", "fields": ["operational semantics", "programming language specification", "object language", "substructural logic", "metalanguage"], "abstract": "We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. Exploiting higher-order terms in this metalanguage, we specify the operational semantics of a number of object language features, such as call-by-value, call-by-name, call-by-need, mutable store, parallelism, communication, exceptions and continuations. The specifications exhibit a high degree of uniformity and modularity that allows us to analyze the structural properties required for each feature in isolation. Our substructural framework thereby provides a new methodology for language specification that synthesizes structural operational semantics, abstract machines, and logical approaches.", "citation": "Citations (25)", "departments": ["Carnegie Mellon University", "Carnegie Mellon University"], "authors": ["<NAME>.....http://dblp.org/pers/hd/p/Pfenning:Frank", "<NAME>.....http://dblp.org/pers/hd/s/Simmons:Robert_J="], "conf": "lics", "year": "2009", "pages": 10}