Robert W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia on Applied Mathematics, pages 19--32. American Mathematical Society, 1967. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Operation Refinement for VDM-like - Specifications Bettina Buth (Correct)
No context found.
Robert W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia on Applied Mathematics, pages 19--32. American Mathematical Society, 1967.
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
FLOYD, R. W. Assigning meanings to programs. In Mathematical Aspects of Computer Science (1967), J. T. Schwartz, Ed., vol. 19 of Proceedings of Symposia in Applied Mathematics, American Mathematical Society, pp. 19--32.
It is Time to Mechanize Programming Language Metatheory - Pierce, Sewell, Weirich.. (Correct)
No context found.
Robert W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics, pages 19--32, Providence, Rhode Island, 1967. American Mathematical Society.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
Robert W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics, pages 19--32, Providence, Rhode Island, 1967. American Mathematical Society.
Automatic Termination Proofs for Programs With Shape-Shifting .. - Josh Berdine Byron (2006) (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In Proceedings of Symposia in Applied Mathematics, 1967.
Termination Proofs for Systems Code - Ron Cook Microsoft (2006) (1 citation) (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics, pages 19--32. American Mathematical Society, 1967.
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In A. M. Society, editor, Proceedings of the Symposium on Applied Math. Vol. 19, pages 19--31, Providence, R.I., 1967.
Model Checking and Abstraction - Edmund Clarke Carnegie (1992) (202 citations) (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Proceedings of the Symposium on Applied Mathematics 19 (Mathematical Aspects of Computer Science). American Mathematical Society, 1967.
Typed Stateful Programming - Zhu (2004) (Correct)
No context found.
Robert W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics, pages 19-32, New York City, 1967. American Mathematical Society.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Robert W. Floyd. Assigning meaning to programs. In Proc. Symp. in Applied Mathematics, volume 19, 1967.
An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
No context found.
R. W. Floyd. Assigning meaning to programs. In Symp. in Applied Mathematics, volume 19, 1967.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, Proceedings of Symposia in Applied Mathematics 19, pages 19--32. American Mathematical Society, 1967.
On Role Logic - Kuncak, Rinard (2003) (Correct)
No context found.
Robert W. Floyd. Assigning meanings to programs. In Proc. Amer. Math. Soc. Symposia in Applied Mathematics, volume 19, pages 19--31, 1967.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
Robert W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics, pages 19--32, Providence, Rhode Island, 1967. American Mathematical Society.
On Role Logic - Kuncak, Rinard (2003) (Correct)
No context found.
Robert W. Floyd. Assigning meanings to programs. In Proc. Amer. Math. Soc. Symposia in Applied Mathematics, volume 19, pages 19--31, 1967.
A Program Structure For Error Detection And Recovery - Horning University Of (1974) (26 citations) (Correct)
No context found.
Floyd, R.W., Assigning meanings to programs, in Mathematical Aspects of Computer Science, ed. Schwartz, J.T., Amer. Math. Soc. 1967.
Thinking Tools for the Future of Computing Science - Jones (2000) (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In Proc. Symp. in Applied Mathematics, Vol.19: Mathematical Aspects of Computer Science, pages 19--32. American Mathematical Society, 1967.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Robert W. Floyd. Assigning meaning to programs. In Proc. Symp. in Applied Mathematics, volume 19, 1967.
From Process Logic to Program Logic - Honda (2004) (Correct)
No context found.
Floyd, W. Assigning meaning to programs. Prc. Symp. in Applied Mathematics. 19:19-32, 1967.
Unknown - Cation For Java's (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Proc. Symp. in Applied Mathematics, volume 19, pages 19-32, 1967.
VLISP: A Verified Implementation of Scheme - Guttman, Swarup, Ramsdell (1993) (17 citations) (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics, pages 19-32. American Mathematical Society, 1967.
Inductive Assertions and Operational Semantics - Long Version Strother (2003) (Correct)
No context found.
R. Floyd. Assigning meanings to programs. In Mathematical Aspects of Computer Science, Proceedings of Symposia in Applied Mathematics, volume XIX, pages 19{
A Compositional Logic For Proving Security Properties Of.. - Durgin, Mitchell.. (2003) (9 citations) (Correct)
No context found.
R.W. Floyd, Assigning meaning to programs, in: Mathematical aspects of computer science: Proc. American Mathematics Soc. Symposia, J.T. Schwartz, ed., Volume 19, Providence RI, American Mathematical Society, 1967, pp. 19--31.
On Role Logic - Kuncak, Rinard (2003) (Correct)
No context found.
Robert W. Floyd. Assigning meanings to programs. In Proc. Amer. Math. Soc. Symposia in Applied Mathematics, volume 19, pages 19--31, 1967.
An Assertional Proof System for Multithreaded Java - Abraham, de Boer, de.. (2003) (Correct)
No context found.
R. W. Floyd. Assigning meanings to programs. In J. T. Schwartz, editor, Proc. Symp. in Applied Mathematics, volume 19, pages 19--32, 1967.
First 50 documents Next 50
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