PLDI
2012
ACM
12 years 2 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
PLDI
2011
ACM
13 years 3 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
JPDC
2011
13 years 3 months ago
2011
ed abstract data types: Building blocks for collaborative applications Hyun-Gul Roha,∗ , Myeongjae Jeonb , Jin-Soo Kimc , Joonwon Leec a Department of Computer Science, KAIST, Da...
CACM
2008
14 years 12 days ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
APLAS
2010
ACM
14 years 16 days ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
DAGSTUHL
2006
14 years 1 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
VLDB
1987
ACM
14 years 3 months ago
1987
ACM
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
CTCS
1987
Springer
14 years 3 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
CAISE
1995
Springer
14 years 3 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
REX
1990
14 years 4 months ago
1990
Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...