尤指植物
发表于 2025-3-21 17:48:38
书目名称Recent Trends in Data Type Specification影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0823423<br><br> <br><br>书目名称Recent Trends in Data Type Specification读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0823423<br><br> <br><br>
性满足
发表于 2025-3-22 00:13:47
http://reply.papertrans.cn/83/8235/823423/823423_2.png
白杨
发表于 2025-3-22 03:50:10
Algebraic (?) Specification of Conceptual Database SchemataThis contribution does not present any technical results. Rather, it is an attempt to broaden the view towards specification problems and algebraic methods.
CRASS
发表于 2025-3-22 05:35:46
http://reply.papertrans.cn/83/8235/823423/823423_4.png
Coterminous
发表于 2025-3-22 11:31:35
The ASSPEGIQUE specification environment Motivations and DesignIn this paper we describe ASSPEGIQUE, an integrated environment for the development of large algebraic specifications and the management of a specification data base. We focus on what motivated us when designing this environment, some crucial design choices and the specific CIGALE parser tool which is extensively used in ASSPEGIQUE.
arthroscopy
发表于 2025-3-22 13:32:49
Passing Compatibility is Almost PersistencyParameterized data types or program modules have been a step forward on the way of providing more powerful abstract constructs for software design.
在前面
发表于 2025-3-22 17:14:05
978-3-540-16077-9Springer-Verlag Berlin Heidelberg 1985
不怕任性
发表于 2025-3-22 23:43:32
http://reply.papertrans.cn/83/8235/823423/823423_8.png
critic
发表于 2025-3-23 03:52:18
http://reply.papertrans.cn/83/8235/823423/823423_9.png
同位素
发表于 2025-3-23 07:04:40
Categorical Semantics, Or Extending Data Types to Include Memorywithin the usual algebraic specification framework. The result is a simple, uniform, mathematical framework in which we can treat, not only data types and their operations, but also, the semantics of imperative languages with assignment, conditionals, while-do’s, and elementary exception handling.