367 search results - page 36 / 74 » Relating Full Abstraction Results for Different Programming ... |
ECOOP
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
EUROCAST
2007
Springer
14 years 21 days ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
OOPSLA
1995
Springer
14 years 11 days ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...