First International Workshop on Larch
暂无分享,去创建一个
[1] Jeannette M. Wing. Writing Larch interface language specifications , 1987, TOPL.
[2] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[3] Oliver Schoett,et al. Data abstraction and the correctness of modular programming , 1986 .
[4] Robert S. Boyer,et al. A computational logic handbook , 1979, Perspectives in computing.
[5] Greg Nelson,et al. Simplification by Cooperating Decision Procedures , 1979, TOPL.
[6] David R. Musser,et al. Abstract Data Type Specification in the Affirm System , 1980, IEEE Transactions on Software Engineering.
[7] Olaf Owe,et al. ANNA A Language for Annotating Ada Programs , 1987, Lecture Notes in Computer Science.
[8] Richard L. Schwartz,et al. An Aximatic Treatment of Algol 68 Routines , 1979, ICALP.
[9] Robert W. Floyd,et al. Assigning meaning to programs , 1967 .
[10] Bowen Alpern,et al. Interactive proof checking , 1984, POPL.
[11] Wolfgang Polak,et al. Program verification based on denotation semantics , 1981, POPL '81.
[12] Steven M. German,et al. Stanford Pascal Verifier user manual , 1979 .
[13] Thomas Reps,et al. The Synthesizer Generator: A System for Constructing Language-Based Editors , 1988 .
[14] Hans-Juergen Boehm,et al. Side effects and aliasing can have simple axiomatic descriptions , 1985, TOPL.
[15] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.
[16] David C. Luckham,et al. Ada exception handling: an axiomatic approach , 1980, TOPL.