Sciweavers

IANDC
1998
106views more  IANDC 1998»
13 years 11 months ago
A Conservative Look at Operational Semantics with Variable Binding
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 mechan...
Wan Fokkink, Chris Verhoef
FOSSACS
2005
Springer
14 years 5 months ago
Congruence for Structural Congruences
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
Mohammad Reza Mousavi, Michel A. Reniers