Ian A. Mason. Veri cation of programs that destructively manipulate data. Science of Computer Programming, 10(2):177-210, April 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Functional Pearls - Unfolding pointer algorithms - Bird (2001) (1 citation) (Correct)
....in the Floyd Dijkstra Hoare tradition with loops and invariant assertions. To be sure, when dealing with any recursively de ned linked structure some declarative notation has to be brought in to specify the problem, but no one to my knowledge has advocated a purely functional approach throughout. Mason (1988) comes close, but his Lisp expressions can be very impure. M oller (1999) also exploits an algebraic approach, and the structure of his paper has much in common with what follows. This pearl explores the possibility of a simple functional approach to pointer manipulation algorithms. 2 A little ....
Mason, I. A. (1988) Verication of programs that destructively manipulate data. Science of Computer Programming, 10(2), pp: 177-210.
Notions of Computation and Monads - Moggi (1989) (83 citations) (Correct)
....semantics i it is provably equivalent to a value (not necessarily the same) in the calculus, but they are too weak for proving equivalences of programs. Previous work on axiom systems for proving equivalence of programs with side e ects has shown the importance of the let constructor (see [Mas88, MT89a, MT89b]) In the framework of the computational lambda calculus the importance of let becomes even more apparent. The denotational approach may suggest important principles, e.g. x point induction (see [Sco69, GMW79] that can be found only after developing a semantics based on mathematical structures ....
I.A. Mason. Verication of programs that destructively manipulate data. Science of Computer Programming, 10, 1988.
Expressions, Commands, and Assertions - Reynolds (2002) (Correct)
No context found.
Ian A. Mason. Veri cation of programs that destructively manipulate data. Science of Computer Programming, 10(2):177-210, April 1988.
Lectures on Reasoning about Shared Mutable Data Structure Part 1 - Reynolds (2000) (12 citations) (Correct)
No context found.
Ian A. Mason. Verication of programs that destructively manipulate data. Science of Computer Programming, 10(2):177-210, April 1988.
Computational Lambda-Calculus and Monads - Moggi (1988) (272 citations) (Correct)
No context found.
I.A. Mason. Verication of programs that destructively manipulate data. Science of Computer Programming, 10, 1988. 22
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC