Titlebook: Semantics and Algebraic Specification; Essays Dedicated to Jens Palsberg Book 2009 Springer-Verlag Berlin Heidelberg 2009 Action.algebraic

Peak-Bone-Mass

grandiose

Order-Sorted Parameterization and Induction,ing up formal verification efforts. This paper studies order-sorted parameterization at three different levels: (i) its mathematical semantics; (ii) its operational semantics by term rewriting; and (iii) the inductive reasoning principles that can soundly be used to prove properties about such speci

Gastric

An Implementation of Object-Oriented Action Semantics in Maude, as a conservative extension of Full Maude and Maude MSOS Tool. The syntax used by our tool is fairly similar to the one used by the original Action Semantics formalism. Furthermore, we present an Object-Oriented Action Semantics library of classes, capable of supporting constructive (object-oriente

固定某物

A Constructive Semantics for Basic Aspect Constructs, honor, to work with Peter Mosses as a PhD student and to collaborate with him afterwards. His work has greatly influenced my research interests. In this paper, I focus on his constructive approach to the semantics of programming languages. Constructive Semantics is an approach to the specification

Substitution

Basal-Ganglia

On the Specification and Verification of Model Transformations,n designing methods and tools for defining or implementing transformations, on defining interesting specific classes of transformations, or on proving properties about given transformations, like confluence or termination. However little attention has been paid to the verification of transformations

magnanimity

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, machine for Core Scheme presented by Clinger at PLDI’98. Starting from a functional implementation of this small-step abstract machine, (1) we fuse its transition function with its driver loop, obtaining the functional implementation of a big-step abstract machine; (2) we adjust this big-step abstr

accomplishment

咯咯笑

刺穿

Action Algebras and Model Algebras in Denotational Semantics,of a programming language. Before going into the technical explanation, the authors wish to relate a story that illustrates how correctly and precisely posed questions can influence the direction of research. By means of his questions, Professor Mosses aided the PhD research of one of the authors of