Titlebook: Algebra, Meaning, and Computation; Essays dedicated to Kokichi Futatsugi,Jean-Pierre Jouannaud,José Meseg Book 2006 Springer-Verlag Berlin

逢迎白雪

maladorit

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

错误

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.

机警

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

Condense

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

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

https://doi.org/10.1007/11780274algebra; computer; computer science; formal language; formal languages; multimedia; programming; programmin

Mirage