Event based sequential program development: Application to constructing a pointer program

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2805, Issue , 2003, Pages 51-74

  Abrial, Jean Raymond ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

ACTION SYSTEMS; EVENT-BASED; GUARDED COMMANDS; POINTER PROGRAMS; SEQUENTIAL PROGRAMS;

APPLICATION PROGRAMS;

EID: 35248812966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_5     Document Type: Article

References (8)

1. H. Schorr and W.M. Waite. An Efficient Machine-Independent Procedure for Garbage Collection in Various List Structures. CACM Aug 1967
2. J.R. Abrial. The B-Book - Assigning Programs to Meanings. Cambridge University Press, 1996.
3. J.R. Abrial and D. Cansell Click'n Prove: Interactive Proofs Within Set Theory TPHOLs 2003.
4. J.R. Abrial, D. Cansell and D. Méry A Mechanically Proved and Incremental Development of IEEE Tree Identify Protocol Formal Aspect of Computing 14. 2003
5. R. Bornat. Proving Pointer Programs in Hoare Logic. In R. Backhouse and J. Oliveira, editors, Mathematics of Program Construction (MPC 2000), LNCS 1837. Springer-Varlag, 2000.
6. R.J.R Back and R. Kurki-Suonio. Decentralization of Process Nets with Centralized Control 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing. 1983.
7. E.W. Dijkstra A Discipline of Programming Prentice-Hall. 1976.
8. Clearsy ATELIER B. User Manual. Aix-en-Provence. 2001.