*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 9*number_thousands_separator*555

1

Recovering Grammar Relationships for the Java Language Specification
Lämmel, Ralf ; Zaytsev, Vadim
2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation, 2009. SCAM '09. Ninth IEEE International Working Conference on. :178-186 Sep, 2009

*Conference*
2

Recovering Grammar Relationships for the Java Language Specification
Lämmel, Ralf ; Zaytsev, Vadim
Software Quality Journal, 19:2, pages 333-378. Springer, 2011

Computer Science - Progr...
*Report*
3

*This result is not displayed to guests*

4

Java Language Specification, Java SE 8 Edition, The
James J. Gosling ; Bill Joy ; Guy L. Steele Jr ; et al.

Java (Computer program l...
*eBook*
5

Java Language Specification, Java SE 7 Edition, The
James J. Gosling ; Bill Joy ; Guy L. Steele Jr ; et al.

Java (Computer program l...
*eBook*
6

*This result is not displayed to guests*

7

Recovering grammar relationships for the Java language specification
Lämmel, R. (Ralf) ; Zaytsev, V. (Vadim) ; Lämmel, R. (Ralf) ; et al.
Software Quality Journal vol. 19 no. 2, pp. 333-378

*Electronic Resource*
9

Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java.
Shuangxiang Kan ; Yuhao Gao ; Zexin Zhong ; et al.
IEEE Trans. Software Eng.. 50(6):1518-1533

*Academic Journal*
10

Formal Specification with the Java Modeling Language.
Marieke Huisman ; Wolfgang Ahrendt ; Daniel Grahl ; et al.
Deductive Software Verification. :193-241

*Book*
13

Real Time Meta Event Specification Language for Java.
Vincenzo Caruso ; Serge Midonnet
IASTED PDCS. :169-174

*Conference*
14

Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.
Cláudio Naoto Fuzitaki ; Paulo Blauth Menezes ; Júlio Henrique Araújo Pereira Machado ; et al.
EUROCAST. :243-252

*Conference*
16

JCML: A specification language for the runtime verification of Java Card programs.
Umberto Souza da Costa ; Anamaria Martins Moreira ; Martin A. Musicante ; et al.
Sci. Comput. Program.. 77(4):533-550

*Academic Journal*
18

Preliminary design of JML: a behavioral interface specification language for java.
Gary T. Leavens ; Albert L. Baker ; Clyde Ruby
ACM SIGSOFT Softw. Eng. Notes. 31(3):1-38

*Academic Journal*

*Filter*