Sciweavers

1712 search results - page 3 / 343
» Abstract Constraint Data Types
Sort
View
SIGARCH
2008
93views more  SIGARCH 2008»
14 years 10 months ago
NOBLE: non-blocking programming support via lock-free shared abstract data types
e Shared Abstract Data Types H
Håkan Sundell, Philippas Tsigas
IWPC
2000
IEEE
15 years 3 months ago
Evaluating the Accessor Classification Approach to Detect Abstract Data Types
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type deļ...
Jean-Francois Girard, Martin Würthner
APAQS
2001
IEEE
15 years 2 months ago
Combining the Animation and Testing of Abstract Data Types
Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
Tim Miller, Paul A. Strooper
POPL
2010
ACM
15 years 8 months ago
Decision Procedures for Algebraic Data Types with Abstractions
Philippe Suter, Mirco Dotta, Viktor Kuncak
BIRTHDAY
2008
Springer
15 years 18 days ago
Observability Concepts in Abstract Data Type Specification, 30 Years Later
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