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

厌氧

书目名称Semantics and Algebraic Specification影响因子(影响力)




书目名称Semantics and Algebraic Specification影响因子(影响力)学科排名




书目名称Semantics and Algebraic Specification网络公开度




书目名称Semantics and Algebraic Specification网络公开度学科排名




书目名称Semantics and Algebraic Specification被引频次




书目名称Semantics and Algebraic Specification被引频次学科排名




书目名称Semantics and Algebraic Specification年度引用




书目名称Semantics and Algebraic Specification年度引用学科排名




书目名称Semantics and Algebraic Specification读者反馈




书目名称Semantics and Algebraic Specification读者反馈学科排名

athlete’s-foot

肉体

A Constructive Semantics for Basic Aspect Constructs,provided by the constructive approach may be extended with new constructs to support the new paradigm. I propose constructs to support basic aspect-oriented programming concepts together with their Modular SOS semantics. Basic notions of structural operational semantics are assumed.

红肿

On the Specification and Verification of Model Transformations, approach for proving the correctness of transformations. More precisely, we use some general patterns to describe both the transformation and the properties that we may want to verify. Then, we provide a method for proving the correctness of a given transformation.

TATE

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, ing an eval/continue abstract machine; and (4) we unfold its ground closures, which yields an abstract machine that essentially coincides with Clinger’s machine. This lambda-calculus with explicit substitutions therefore aptly accounts for Core Scheme, including Clinger’s permutations and unpermutations.

resilience

Type Checking Evolving Languages with MSOS,analyses on modular structural operational semantics (MSOS). By using an intrinsically modular formalism, type rules can be added, removed or modified easily. We illustrate our approach by developing an MSOS-based type analysis technique for Chi, a domain specific language for hybrid systems engineering.

2否定

Aromatic

An Action Semantics Based on Two Combinators, action-semantics definitions. Finally, we exploit the subsort (subtype) structure within Mosses’s unified algebras to use the deduction rules as both a typing definition as well as a semantics definition. Partial evaluation techniques are applied to type check and compile programs.

CERE

Book 2009thors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a sy

昏睡中

Action Semantics in Retrospect, action semantics, the inspirations behind its design, and the foundations of action semantics based on unified algebras. It goes on to outline some applications of action semantics to describe real programming languages, and some efforts to implement programming languages using action semantics dir