Resolving circularity in attribute grammars with applications to data flow analysis
- S. Sagiv
- O. Edelstein
- et al.
- 1989
- POPL 1989
Publications
Date
Featured collections
Popular topics
14 results for Nissim Francez
SCRIPT: A COMMUNICATION ABSTRACTION MECHANISM.
- Nissim Francez
- Brent Hailpern
- 1982
- PODC 1982
A methodology for verifying request processing protocols
- Christos N. Nikolaou
- Nissim Francez
- et al.
- 1983
- SIGCOMM 1983
Symmetric intertask communication
- Nissim Francez
- Shaula A. Yemini
- 1985
- ACM Transactions on Programming Languages and Systems (TOPLAS)
An Environment for Logic Programming
- Nissim Francez
- Shalom Goldenberg
- et al.
- 1985
- ACM SIGPLAN Notices
SCRIPT: A COMMUNICATION ABSTRACTION MECHANISM.
- Nissim Francez
- Brent Hailpern
- 2008
- EuroSys 2008
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
- Martín Abadi
- Bowen Alpern
- et al.
- 1991
- Information Processing Letters
Script: A communication abstraction mechanism and its verification
- Nissim Francez
- Brent Hailpern
- et al.
- 1986
- Science of Computer Programming
A weakest precondition semantics for communicating processes
- Tzilla Elrad
- Nissim Francez
- 1984
- Theoretical Computer Science
Product properties and their direct verification
- Nissim Francez
- 1983
- Acta Informatica