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影響因子(影響力)學(xué)科排名




書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度




書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Recent Trends in Data Type Specification被引頻次




書目名稱Recent Trends in Data Type Specification被引頻次學(xué)科排名




書目名稱Recent Trends in Data Type Specification年度引用




書目名稱Recent Trends in Data Type Specification年度引用學(xué)科排名




書目名稱Recent Trends in Data Type Specification讀者反饋




書目名稱Recent Trends in Data Type Specification讀者反饋學(xué)科排名

現(xiàn)存

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