MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Algebraic Specification of Abstract Data Types." – sorted by Relevance.

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

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

63 documents found, showing 1 through 10. Next 10 →

ATOM

Hidden Algebraic Engineering
by Joseph A. Goguen — 1997 — Conference on Semigroups and Algebraic Engineering
…, effervescent and effective teaching style. 2 Algebraic Specification of Abstract Data Types This section…
Cited by 2 (0 self) – Add To MetaCart

Interpretive Language Implementation From A Layered Operational Model
by Michael Oudshoorn Chris, Chris D. Marlin — 1993 — in Proc. 5th Int. Conf on Computing and Information
… of the model being based on the algebraic specification of abstract data types. Different kinds of user can…
Add To MetaCart

Term Rewriting with Sharing and Memoïzation
by Berthold Hoffmann — 1992 — Algebraic and Logic Programming: Proc. of the Third International Conference
… for prototyping algebraic specifications of abstract data types, and a foundation of functional programming…
Cited by 3 (1 self) – Add To MetaCart

Neural network-Based Retrieval from Software Reuse Repositories
by David Eichmann, K. Srinivas, Reusability Measurements, D. E. Rumelhart, G. E. Hinton — 1991
… Science, 6:205-254, 1982. J. V. Guttag and J. J. Horning. The algebraic specification of abstract data…
Cited by 1 (0 self) – Add To MetaCart

The ASTOOT Approach to Testing Object-Oriented Programs
by Roong-ko Doong, Mountainview California, Phyllis G. Frankl — 1994
… of an algebraic specification of the abstract data type being tested, but the test execution tool can be used when…
Cited by 123 (1 self) – Add To MetaCart

An Informal Formal Method for Systematic JUnit Test Case Generation
by David Stotts, Mark Lindsey, Angus Antley — 2002 — In Proc. 2002 XP/Agile Universe
…]. The DAISTS system used Guttag’s algebraic specification of abstract data types to write a test oracle…
Cited by 22 (1 self) – Add To MetaCart

Unifying ADT-- and Evolving Algebra Specifications
by Horst Reichel Institut, Horst Reichel — 1996 — EATCS Bulletin
… the application of initial constraints is well known from algebraic specifications of abstract data types we…
Add To MetaCart

Tools for Testing Object-Oriented Programs
by Phyllis G. Frankl, Roong-ko Doong — 1990
… is inspired by the theory of algebraic specifications of abstract data types, and our test generation tool…
Cited by 11 (1 self) – Add To MetaCart

Reconfigurable Parallel Vision System Informal Specification RM/94/4
by W.J. Austin, N.R. Scaife, Edinburgh Eh As — 1994
… the structure of an sml programme closely mimics that of an algebraic specification. Abstract data types…
Cited by 1 (1 self) – Add To MetaCart

Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods
by Till Mossakowski — Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993, Workshops in Computing
… for the algebraic specification of abstract data types (ADTs) are proposed. They differ in various properties. Since…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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