Are constructive formal specifications less abstract?

Authors:
Ivo Van Horebeek;Johan Lewi
Affiliations:
Department of Computer Science, K. U. Leuven, Celestijnenlaan 200A, B-3030 Leuven, Belgium;Department of Computer Science, K. U. Leuven, Celestijnenlaan 200A, B-3030 Leuven, Belgium
Venue:
ACM SIGPLAN Notices
Year:
1990

Citing 5
Cited 0

Direct implementation of abstract data types from abstract specifications

IEEE Transactions on Software Engineering
Initiality, induction, and computability

Algebraic methods in semantics
Algebraic Specifications in Software Engineering

Algebraic Specifications in Software Engineering
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Discipline of Programming

A Discipline of Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract