Titlebook: Recent Trends in Data Type Specification; 11th Workshop on Spe Magne Haveraaen,Olaf Owe,Ole-Johan Dahl Conference proceedings 1996 Springer

FERN

书目名称Recent Trends in Data Type Specification影响因子(影响力)




书目名称Recent Trends in Data Type Specification影响因子(影响力)学科排名




书目名称Recent Trends in Data Type Specification网络公开度




书目名称Recent Trends in Data Type Specification网络公开度学科排名




书目名称Recent Trends in Data Type Specification被引频次




书目名称Recent Trends in Data Type Specification被引频次学科排名




书目名称Recent Trends in Data Type Specification年度引用




书目名称Recent Trends in Data Type Specification年度引用学科排名




书目名称Recent Trends in Data Type Specification读者反馈




书目名称Recent Trends in Data Type Specification读者反馈学科排名

现存

On the role of category theory in the area of algebraic specifications,s..In detail we discuss different approaches to an abstract theory of specification logics. Further we present a uniform framework for developing particular specification logics. We make use of ‘classifying categories’, to present categories of algebras as functor categories and to obtain necessary

Feigned

Unification of theories: A challenge for computing science,ructure of modern mathematics has also been determined by its great unifying theories — topology, algebra and the like. The same ideals and goals are shared by researchers and students of theoretical computing science.

厌食症

minaret

Unifying theories in different institutions,tween the different specification spaces that they provide. We show that there is a canonical way in which adjunctions between the categories of signatures can be lifted to the categories of theories. This lifting is associated with a duality between the concepts of institution map and institution m

bacteria

Interchange format for inter-operability of tools and translation, specifications. We discuss some semantic compatibility criteria required to ensure a minimal level of inter-operability, we describe a proposal for a specification interchange format, and we explain the mechanisms needed to solve the issues raised by user interaction. The technical generic solution

packet

Experiments with partial evaluation domains for rewrite specifications,s of the term rewriting specification in any respect. In particular, the expressive power of term rewriting systems as a programming language for generic programs and as a theorem prover has been preserved. Our method is based on the following observation. Many rewrite specifications are instances o

semble

Class-sort polymorphism in GLIDER,owerful than the standard . that can be found in a number of functional languages (e.g. Standard ML, Miranda, etc.).In particular, polymorphic or generic types are considered to be parameterized by specifications (i.e. sorts, operations and even axioms) and not just by sorts. The semantic framework

defenses

水獭

A category-based equational logic semantics to constraint programming,raint logic, such as . and .. We show that constraint logic is an institution, and we internalise the study of constraint logic to the framework of category-based equational logic. By showing that constraint logic is a special case of category-based equational logic, we integrate the constraint logi