10 search results - page 1 / 2 » Soundly Handling Static Fields: Issues, Semantics and Analys... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
ICOODB
2009
13 years 3 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
POPL
2012
ACM
12 years 28 days ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
LFP
1992
13 years 6 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...