226 search results - page 16 / 46 » A Language for the Compact Representation of Multiple Progra... |
209
click to vote
APLAS
2011
ACM
14 years 3 months ago
2011
ACM
We present a new SPAS (ScalablePAth-Sensitive)framework for resolving points-to sets in C programs that exploits recent advances in pointer analysis. SPAS enables intraprocedural p...
102
Voted
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
One of the most distinctive features of the JavaT M programming language is the ability to specify class loading policies. Despite the popularity of class loaders, little has been ...
142
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
110
click to vote
JUCS
2008
15 years 3 months ago
2008
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...
122
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...