A CONSERVATIVE LOOK AT OPERATIONAL SEMANTICS WITH VARIABLE BINDING

Authors
FOKKINK W VERHOEF C
Citation
W. Fokkink et C. Verhoef, A CONSERVATIVE LOOK AT OPERATIONAL SEMANTICS WITH VARIABLE BINDING, Information and computation (Print), 146(1), 1998, pp. 24-54
Citations number
54
Categorie Soggetti
Mathematics,"Computer Science Information Systems",Mathematics,"Computer Science Information Systems
Journal title
Information and computation (Print) → ACNP
ISSN journal
08905401
Volume
146
Issue
1
Year of publication
1998
Pages
24 - 54
Database
ISI
SICI code
0890-5401(1998)146:1<24:ACLAOS>2.0.ZU;2-0
Abstract
We set up a formal framework to describe transition system specificati ons in the style of Plotkin. This framework has the power to express m any-sortedness, general binding mechanisms, and substitutions, among o ther notions such as negative hypotheses and unary predicates on terms . The framework is used to present a conservativity format in operatio nal semantics, which states sufficient criteria to ensure that the ext ension of a transition system specification with new transition rules does not affect the semantics of the original terms. (C) 1998 Academic Press.