28 search results - page 2 / 6 » Inferable object-oriented typed assembly language |
115
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
136
Voted
GI
1997
Springer
15 years 6 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
158
click to vote
WISE
2000
Springer
15 years 7 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
116
Voted
POPL
1999
ACM
15 years 6 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...