OWL
发表于 2025-3-28 16:49:59
https://doi.org/10.1007/978-1-4471-3227-1Algebraic Specification; Formal Methods; Program Development; design; functional programming; logic; progr
参考书目
发表于 2025-3-28 19:51:19
978-3-540-19852-9British Computer Society 1994
拱形面包
发表于 2025-3-29 00:31:51
Algebraic Methodology and Software Technology (AMAST’93)978-1-4471-3227-1Series ISSN 1431-1682
旧石器时代
发表于 2025-3-29 05:25:22
http://reply.papertrans.cn/16/1527/152667/152667_44.png
ATOPY
发表于 2025-3-29 08:12:21
https://doi.org/10.1007/978-3-658-26333-1ion in the methods, using a computational model based on Moschovakis’ search computability. The four specification methods can be characterized by four different notions of semicomputable parameterized abstract data type, which differ in the availability of the parameter algebra and of nondeterminism.
虚构的东西
发表于 2025-3-29 13:23:14
What Can Be Observed in Globular Clusters?,whether as a type or as an operation. Two approaches arose in the late 70’s and the early 80’s which will be referred here as the “Munich approach” (see, e.g., ) and the “Rio approach” (see, e.g., ).
芦笋
发表于 2025-3-29 16:07:41
http://reply.papertrans.cn/16/1527/152667/152667_47.png
轻触
发表于 2025-3-29 19:56:24
Constraints in Term Algebras (Short Survey)First, we define what is a . and list few possible applications of them. Then, we survey recent results on constraint in term algebras. Finally, we propose a methodology of constraint solving and illustrate it on a toy example.
CHANT
发表于 2025-3-29 23:52:22
http://reply.papertrans.cn/16/1527/152667/152667_49.png
得意牛
发表于 2025-3-30 07:54:38
Relation Algebras for Reasoning about Time and Spacegebras’, relation algebras that arose from James Allen’s work on temporal reasoning, and by ‘compass algebras’, which are designed for similar reasoning about space. One kind of reasoning problem, called a ‘constraint satisfaction problem’, can be defined for arbitrary relation algebras. It will be