742 search results - page 87 / 149 » Formal Grammar for Java |
IEEEIAS
2008
IEEE
14 years 2 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...