Results 261 to 270 of about 65,035 (289)
Some of the next articles are maybe not open access.
Hybrid implementations of algebraic specifications
1990The problem of insufficient execution speed of implementations of algebraic specifications is approached by presenting a formal framework in which implementations based on term rewriting [3] can be combined transparently with implementations based on conventional programming languages.
openaire +1 more source
Algebraic specifications for domain theory
2005This paper deals with the algebraic specification of Scott's domains. Starting from a specification characterizing the bounded complete θ-algebraic cpo's the definition of a cpo representing this class of domains is developed. The standard domain constructions can be represented as continuous functions on this cpo using the method of algebraic ...
openaire +1 more source
Algebraic specification of concurrency
1993ASTESIANO, EGIDIO, REGGIO, GIANNA
openaire +1 more source
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic, 2009Adel Bouhoula
exaly
Developing and debugging algebraic specifications for Java classes
ACM Transactions on Software Engineering and Methodology, 2008Christoph Reichenbach, Amer Diwan
exaly
Errors in algebraic specifications and an experimental mutation testing tool
Software Engineering Journal, 1993exaly