A Conservative Look at Operational Semantics with Variable Binding

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechanisms, and substitutions, among other notions such as negative hypotheses and unary predicates on terms. The framework is used to present a conservatively format in operational semantics, which states sufficient criteria to ensure that the extension of a transition system specification with new transition rules does not affect the semantics of the original terms.

Original languageEnglish
Pages (from-to)24-54
Number of pages31
JournalInformation and Computation
Volume146
Issue number1
DOIs
Publication statusPublished - 10 Oct 1998

Fingerprint

Operational Semantics
Semantics
Transition Systems
Specifications
Specification
Substitution reactions
Unary
Term
Predicate
Substitution
Express
Sufficient
Framework

Cite this

@article{a3dd42e59c5a4752bf18da25c2486def,
title = "A Conservative Look at Operational Semantics with Variable Binding",
abstract = "We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechanisms, and substitutions, among other notions such as negative hypotheses and unary predicates on terms. The framework is used to present a conservatively format in operational semantics, which states sufficient criteria to ensure that the extension of a transition system specification with new transition rules does not affect the semantics of the original terms.",
author = "Wan Fokkink and Chris Verhoef",
year = "1998",
month = "10",
day = "10",
doi = "10.1006/inco.1998.2729",
language = "English",
volume = "146",
pages = "24--54",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Elsevier Inc.",
number = "1",

}

A Conservative Look at Operational Semantics with Variable Binding. / Fokkink, Wan; Verhoef, Chris.

In: Information and Computation, Vol. 146, No. 1, 10.10.1998, p. 24-54.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - A Conservative Look at Operational Semantics with Variable Binding

AU - Fokkink, Wan

AU - Verhoef, Chris

PY - 1998/10/10

Y1 - 1998/10/10

N2 - We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechanisms, and substitutions, among other notions such as negative hypotheses and unary predicates on terms. The framework is used to present a conservatively format in operational semantics, which states sufficient criteria to ensure that the extension of a transition system specification with new transition rules does not affect the semantics of the original terms.

AB - We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechanisms, and substitutions, among other notions such as negative hypotheses and unary predicates on terms. The framework is used to present a conservatively format in operational semantics, which states sufficient criteria to ensure that the extension of a transition system specification with new transition rules does not affect the semantics of the original terms.

UR - http://www.scopus.com/inward/record.url?scp=0001776099&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0001776099&partnerID=8YFLogxK

U2 - 10.1006/inco.1998.2729

DO - 10.1006/inco.1998.2729

M3 - Article

VL - 146

SP - 24

EP - 54

JO - Information and Computation

JF - Information and Computation

SN - 0890-5401

IS - 1

ER -