576 search results - page 6 / 116 » The Java Syntactic Extender |
108
click to vote
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
94
Voted
ENTCS
2002
15 years 1 months ago
2002
The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an exten...
119
click to vote
ENTCS
2010
14 years 11 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
140
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
107
click to vote
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...