13734 search results - page 2 / 2747 » Abstractions of data types |
149
Voted
FORTE
1989
15 years 7 months ago
1989
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...
149
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
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...
143
Voted
JACM
2007
15 years 6 months ago
2007
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...
160
Voted
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
165
Voted
POPL
2010
ACM
16 years 3 months ago
2010
ACM