MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Formal Techniques for Java Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

Specifying and Checking Java using CSP
by Michael Möller — 2002 — Department, University of Nijmegen
…. Currently several approaches are done in applying formal techniques to the Java programming language. A new…
Cited by 2 (1 self) – Add To MetaCart

Checking Java programs via guarded commands
by K. Rustan M. Leino, K. Rustan, K. Rustan, M. Leino, M. Leino, James B. Saxe, James B. Saxe, Raymie Stata, Raymie Stata — 1999
… than directly. Publication history. This paper appears in Formal Techniques for Java Programs…
Cited by 31 (3 self) – Add To MetaCart

Description of IF540
by If Is An
… Workshop on Formal Techniques for Java Programs, June 1999. To appear. Kvangkeun Yi and Sukyoung Ryu…
Add To MetaCart

Java Access Protection through Typing
by Eva Rose, Kristoffer Hgsbro Rose — 2000 — Concurrency and Computation: Practice and Experience
… using a getter method.) ? Extended abstract, presented at the Formal Techniques for Java Programs…
Cited by 3 (0 self) – Add To MetaCart

Contents 1 From Executable Formal Specification to Java Property Verification...............….
by Sophia Antipolis, Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, I. Attali, D. Caromel, H. Nilsson, M. Russo, P. Cenciarelli — 2000
…Formal Techniques for Java Programs 2000 Proceedings, Sophia Antipolis, France June 12, 2000…
Add To MetaCart

Java Separate Type Checking is not Safe (Extended Abstract)
by Davide Ancona, Giovanni Lagorio, Elena Zucca
…. This paper has been presented at the Workshop on Formal Techniques for Java Programs, ECOOP'01 (http…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB