ANA
发表于 2025-3-26 22:39:16
http://reply.papertrans.cn/16/1526/152542/152542_31.png
热情的我
发表于 2025-3-27 04:28:26
From OBJ to Maude and Beyondign. A common thread is the quest for ever more expressive computational logics, on which executable formal specifications of increasingly broader classes of systems can be based. Several recent extensions, beyond Maude itself, are also discussed.
废止
发表于 2025-3-27 08:40:08
Constructive Action Semantics in OBJcould be improved. We propose using the notation and modular structure of the Constructive Action Semantics framework in OBJ, and give a simple illustration. The reader is assumed to be familiar with OBJ.
mechanism
发表于 2025-3-27 12:02:36
http://reply.papertrans.cn/16/1526/152542/152542_34.png
languid
发表于 2025-3-27 14:43:58
Composition by Colimit and Formal Software Developmenty of situations in which colimits can be mechanically applied to support software development by refinement. We illustrate the use of colimits to support automated datatype refinement, algorithm design, aspect weaving, and security policy enforcement.
PURG
发表于 2025-3-27 19:41:24
Proving Behavioral Refinements of COL-specificationsnted properties of software systems. In this paper we consider behavioral refinement relations between COL-specifications taking into account implementation constructions. We propose a general strategy for proving the correctness of such refinements by reduction to (standard) first-order theorem pro
抗原
发表于 2025-3-27 23:32:29
http://reply.papertrans.cn/16/1526/152542/152542_37.png
扩大
发表于 2025-3-28 04:26:56
Kokichi Futatsugi,Jean-Pierre Jouannaud,José MesegIncludes supplementary material:
COMMA
发表于 2025-3-28 08:22:21
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152542.jpg
突袭
发表于 2025-3-28 12:28:11
http://reply.papertrans.cn/16/1526/152542/152542_40.png