Specifying implementations

Authors:
Laureano Lambán;Vico Pascual;Julio Rubio
Affiliations:
Universidad de La Rioja, Luis de Ulloa, s/n Edificio Vives Logroño (La Rioja), España;Universidad de La Rioja, Luis de Ulloa, s/n Edificio Vives Logroño (La Rioja), España;Universidad de Zaragoza, Plaza San Francisco, s/n Edificio Matemáticas, Zaragoza, España
Venue:
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Year:
1999

Citing 4
Cited 3

Common LISP: the language (2nd ed.)

Common LISP: the language (2nd ed.)
Partial higher-order specifications

Fundamenta Informaticae - Special issue on mathematical foundations of computer science '91
Specification of abstract data types

Specification of abstract data types
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I

Modeling inheritance as coercion in a symbolic computation system

Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Hidden Specification of a Functional System

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Locally Effective Objects and Artificial Intelligence

AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract