Searching for "Complexity of Algebraic Specification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Tool for Writing and Debugging Algebraic Specifications
by J. Henkel, A. Diwan — 2004 — Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), IEEE Computer Society Press
… Conditional axioms lead to additional complexity in the algebraic specification interpreter. Consider Axiom 3…
Cited by 11 (1 self) – Add To MetaCart

Syntax and Static Semantics of Eiffel - A Case Study in Algebraic Specification Techniques
by Eelco Visser — 1992
… complex algebraic specifications. Another issue in the theory of programming languages is the definition…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB