厌氧
发表于 2025-3-21 16:55:58
书目名称Semantics and Algebraic Specification影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0864722<br><br> <br><br>书目名称Semantics and Algebraic Specification读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0864722<br><br> <br><br>
athlete’s-foot
发表于 2025-3-21 22:02:50
http://reply.papertrans.cn/87/8648/864722/864722_2.png
肉体
发表于 2025-3-22 00:29:09
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.
红肿
发表于 2025-3-22 05:29:51
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
发表于 2025-3-22 12:13:51
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
发表于 2025-3-22 14:34:58
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否定
发表于 2025-3-22 18:12:48
http://reply.papertrans.cn/87/8648/864722/864722_7.png
Aromatic
发表于 2025-3-22 23:52:09
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
发表于 2025-3-23 03:27:32
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
昏睡中
发表于 2025-3-23 09:03:56
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