FERN
发表于 2025-3-21 16:28:25
书目名称Recent Trends in Data Type Specification影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0823424<br><br> <br><br>书目名称Recent Trends in Data Type Specification读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0823424<br><br> <br><br>
现存
发表于 2025-3-21 22:00:29
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
发表于 2025-3-22 03:07:16
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.
厌食症
发表于 2025-3-22 05:41:47
http://reply.papertrans.cn/83/8235/823424/823424_4.png
minaret
发表于 2025-3-22 10:09:02
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
发表于 2025-3-22 14:54:10
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
发表于 2025-3-22 17:57:06
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
发表于 2025-3-22 23:37:11
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
发表于 2025-3-23 02:25:53
http://reply.papertrans.cn/83/8235/823424/823424_9.png
水獭
发表于 2025-3-23 05:49:23
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