Titlebook: Algebraic Methodology and Software Technology (AMAST’93); Proceedings of the T Maurice Nivat,Charles Rattray,Giuseppe Scollo Conference pro

OWL

https://doi.org/10.1007/978-1-4471-3227-1Algebraic Specification; Formal Methods; Program Development; design; functional programming; logic; progr

参考书目

978-3-540-19852-9British Computer Society 1994

拱形面包

Algebraic Methodology and Software Technology (AMAST’93)978-1-4471-3227-1Series ISSN 1431-1682

旧石器时代

ATOPY

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.

虚构的东西

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., [18, 7]) and the “Rio approach” (see, e.g., [13, 12, 22]).

芦笋

轻触

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

得意牛

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