Search Sciweavers | Sciweavers

13734 search results - page 2 / 2747

» Abstractions of data types

click to vote

FORTE
1989

113views Formal Methods» more FORTE 1989»

Compilation of LOTOS Abstract Data Types

13 years 7 months ago

Download ftp.inrialpes.fr

ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...

Hubert Garavel

claim paper

Read More »

click to vote

BIRTHDAY
2008
Springer

97views Applied Computing» more BIRTHDAY 2008»

Observability Concepts in Abstract Data Type Specification, 30 Years Later

13 years 7 months ago

Download homepages.inf.ed.ac.uk

ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...

Donald Sannella, Andrzej Tarlecki

claim paper

Read More »

click to vote

JACM
2007

85views more JACM 2007»

The rational numbers as an abstract data type

13 years 5 months ago

Download www-compsci.swan.ac.uk

onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...

Jan A. Bergstra, J. V. Tucker

claim paper

Read More »

click to vote

APAQS
2001
IEEE

226views Software Engineering» more APAQS 2001»

Combining the Animation and Testing of Abstract Data Types

13 years 9 months ago