逢迎白雪
发表于 2025-3-30 10:55:04
http://reply.papertrans.cn/16/1526/152542/152542_51.png
maladorit
发表于 2025-3-30 14:50:27
Some Varieties of Equational Logice. One strand of this work concerns algebraic datatypes. Recently there has been some interest in what one may call algebraic . types. As we will show, these are also given by equational theories, if one only understands the notion of equational logic in somewhat broader senses than usual.
Tempor
发表于 2025-3-30 18:57:11
http://reply.papertrans.cn/16/1526/152542/152542_53.png
错误
发表于 2025-3-31 00:23:18
From OBJ to ML to Coqse, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them. In this paper, we are interested in certain language features and in languages which help make the user’s life easier for developing programs satisfying their specifications.
机警
发表于 2025-3-31 04:49:11
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.
Keratin
发表于 2025-3-31 05:02:02
http://reply.papertrans.cn/16/1526/152542/152542_56.png
Condense
发表于 2025-3-31 12:07:24
Horizontal Composability Revisitederging at about the same time, via the introduction of the notions of . and . of implementations. We then give a different view of implementation which we believe provides a more adequate reflection of the rather subtle interplay between implementation, specification structure and program structure.
mercenary
发表于 2025-3-31 13:48:37
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.
Grandstand
发表于 2025-3-31 19:13:36
https://doi.org/10.1007/11780274algebra; computer; computer science; formal language; formal languages; multimedia; programming; programmin
Mirage
发表于 2025-4-1 00:47:12
http://reply.papertrans.cn/16/1526/152542/152542_60.png