4211 search results - page 261 / 843 » Types as Abstract Interpretations |
299
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
155
click to vote
ECOOP
1987
Springer
15 years 10 months ago
1987
Springer
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
158
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Just like Remote Procedure Call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, Type-based Publish-SubTPS) can be viewed a...
155
click to vote
SIGADA
2005
Springer
16 years 3 days ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
164
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
Critical kernels constitute a general framework settled in the of abstract complexes for the study of parallel thinning in any dimension. We take advantage of the properties of thi...