|
СТ |
Java Program Verification Challenges |
2003 |
Jacobs B., Kiniry J., Warnier M. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
Java s Integral Types in PVS |
2003 |
Jacobs B. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
The LOOP Compiler for Java and JML |
2001 |
Van Der Berg J., Jacobs B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
|
СТ |
A Logic for the Java Modeling Language JML |
2001 |
Jacobs B., Poll E. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
A Formalisation of Java s Exception Mechanism |
2001 |
Jacobs B. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Formal Tecniques for Java Programs |
2000 |
Drossopoulou S., Eisenbach S., Jacobs B., Leavens G., Muller P., Poetzsch-Heffter A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
A Type-Theoretic Memory Model for Verification of Sequential Java Programs |
2000 |
Van Den Berg J., Huisman M., Jacobs B., Poll E. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
A Monad for Basic Java Semantics |
2000 |
Jacobs B., Poll E. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
|
СТ |
Java Program Verification via a Hoare Logic with Abrupt Termination |
2000 |
Huisman M., Jacobs B. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Formal Techniques for Java Programs |
1999 |
Jacobs B., Leavens G. T., Muller P., Poetzsch-Heffter A. |
|
|
|
Lecture Notes in Computer Science |
26.01.2000 |
|
СТ |
Reasoning about Java Classes |
1998 |
Jacobs B., Van Den Berg J., Huisman M., Van Berkum M. |
|
|
|
SIGPLAN Notices |
23.04.1999 |
|
СТ |
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools |
1998 |
Hensel U., Huisman M., Jacobs B., Tews H. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
An algebraic view of structural induction |
1995 |
Hermida C., Jacobs B. |
Lecture Notes in Computer Science |
|
|
Computer Science Logic |
24.09.1995 |
|
СТ |
Mongruences and Cofree Coalgebras |
1995 |
Jacobs B. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Coalgebras and Approximation |
1994 |
Jacobs B. |
|
|
|
Lecture Notes in Computer Science |
27.07.1994 |
|
СТ |
Comprehension Categories and the Semantics of Type Dependency |
1993 |
Jacobs B. |
|
|
|
Theoretical Computer Science |
18.02.1993 |
