Peak-Bone-Mass
发表于 2025-3-23 13:23:07
http://reply.papertrans.cn/87/8648/864722/864722_11.png
grandiose
发表于 2025-3-23 14:37:53
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
发表于 2025-3-23 20:09:48
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
固定某物
发表于 2025-3-24 00:53:01
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
发表于 2025-3-24 05:55:00
http://reply.papertrans.cn/87/8648/864722/864722_15.png
Basal-Ganglia
发表于 2025-3-24 08:44:06
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
发表于 2025-3-24 11:05:08
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
发表于 2025-3-24 17:16:27
http://reply.papertrans.cn/87/8648/864722/864722_18.png
咯咯笑
发表于 2025-3-24 21:30:52
http://reply.papertrans.cn/87/8648/864722/864722_19.png
刺穿
发表于 2025-3-25 01:32:29
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