742 search results - page 69 / 149 » Formal Grammar for Java |
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
114
click to vote
ASE
2004
14 years 11 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
107
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
144
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...