High-level real-time programming in Java
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- EMSOFT 2005
Publications
Date
Featured collections
Popular topics
36 results for Eran Yahav
Establishing local temporal heap safety properties with applications to compile-time memory management
- Ran Shaham
- Eran Yahav
- et al.
- 2005
- Science of Computer Programming
Typestate verification: Abstraction techniques and complexity results
- J. Field
- D. Goyal
- et al.
- 2005
- Science of Computer Programming
Predicate abstraction and canonical abstraction for singly-linked lists
- Roman Manevich
- E. Yahav
- et al.
- 2005
- VMCAI 2005
Verifying safety properties using separation and heterogeneous abstractions
- Eran Yahav
- G. Ramalingam
- 2004
- PLDI 2004
Compiler optimization of C++ virtual function calls
- Sara Porat
- David Bernstein
- et al.
- 1996
- COOTS 1996