Sciweavers

PLDI
2012
ACM
11 years 10 months ago
Speculative linearizability
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...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
PLDI
2011
ACM
12 years 10 months ago
Data representation synthesis
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...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
JPDC
2011
136views more  JPDC 2011»
12 years 10 months ago
Replicated abstract data types: Building blocks for collaborative applications
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...
Hyun-Gul Roh, Myeongjae Jeon, Jinsoo Kim, Joonwon ...
CACM
2008
101views more  CACM 2008»
13 years 7 months ago
Just say 'A Class Defines a Data Type'
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 ...
Chenglie Hu
APLAS
2010
ACM
13 years 7 months ago
Data Structure Fusion
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...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
DAGSTUHL
2006
13 years 8 months ago
The Formal Specification Language mCRL2
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
Jan Friso Groote, Aad Mathijssen, Michel A. Renier...
VLDB
1987
ACM
75views Database» more  VLDB 1987»
13 years 11 months ago
The POSTGRES Data Model
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...
Lawrence A. Rowe, Michael Stonebraker
CTCS
1987
Springer
13 years 11 months ago
Good Functors... are Those Preserving Philosophy
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...
Gilles Bernot
CAISE
1995
Springer
13 years 11 months ago
Process Improvement - The Way Forward
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
M. M. Lehman
REX
1990
13 years 11 months ago
Object-Oriented Programming Versus Abstract Data Types
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...
William R. Cook