321 search results - page 23 / 65 » Programming with ASN.1 Using Polymorphic Types and Type Spec... |
138
click to vote
ICFP
2009
ACM
15 years 7 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
167
click to vote
ECOOP
2009
Springer
15 years 7 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
LICS
2005
IEEE
15 years 20 days ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
OOPSLA
2004
Springer
15 years 13 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
ESOP
1999
Springer
14 years 11 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...