ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
The logical basis for computer programming. Volume 1: deductive reasoning
  Purchase this Book  
Source
Pages: 618  
Year of Publication: 1985
ISBN:0-201-18260-2
Authors
Zohar Manna  Stanford Univ., Stanford, CA
Richard Waldinger  SRI International
Publisher
Addison-Wesley Longman Publishing Co., Inc.  Boston, MA, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 19
Additional Information:

cited by   index terms   review   collaborative colleagues  

Tools and Actions: Review this Book  

CITED BY  19
D. Bryan, An algebraic specification of the partial orders generated by concurrent Ada computations, Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, p.225-241, January 1989, Pittsburgh, Pennsylvania, United States
Steven J. Zeil, A multi-theory constraint satisfaction system, Proceedings of the 1993 ACM conference on Computer science, p.93-99, February 16-18, 1993, Indianapolis, Indiana, United States
G. R. Sechi, Abstract computing machines, ACM SIGMICRO Newsletter, v.20 n.3, p.97-111, Sep. 1989
M. Alderighi , G. R. Sechi , R. Vaccaro , L. Verdoscia, A computing unit for FFP function evaluation in support of correctness proofs, ACM SIGMICRO Newsletter, v.20 n.3, p.244-253, Sep. 1989
Raymond D. Gumb, A first course in program verification and the semantics of programming languages, ACM SIGCSE Bulletin, v.21 n.1, p.146-150, Feb. 1989
Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens, An experiment in formal software development: using the B theorem prover on a VDM case study, Communications of the ACM, v.34 n.5, p.62-ff., May 1991
Martín Abadi , Zohar Manna, Nonclausal deduction in first-order temporal logic, Journal of the ACM (JACM), v.37 n.2, p.279-317, April 1990
C. Lafontaine , Y. Ledru , P.-Y. Schobbens, An experiment in formal software development: using the B theorem prover on a VDM case study, Proceedings of the 12th international conference on Software engineering, p.34-42, March 26-30, 1990, Nice, France
N. R. Saxena , E. J. McCluskey, Linear Complexity Assertions for Sorting, IEEE Transactions on Software Engineering, v.20 n.6, p.424-431, June 1994
Zohar Manna , Richard Waldinger, Special relations in automated deduction, Journal of the ACM (JACM), v.33 n.1, p.1-59, Jan. 1986
Simon S. Lam , A. Udaya Shankar, A Relational Notation for State Transition Systems, IEEE Transactions on Software Engineering, v.16 n.7, p.755-775, July 1990
C. S. Ku , H. D. Kim , L. J. Henschen, An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.6 n.5, p.713-722, October 1994
Sadaaki Miyamoto, Information clustering based on fuzzy multisets, Information Processing and Management: an International Journal, v.39 n.2, p.195-213, March 2003
Trenchard More, Jr., Transfinite nesting in array-theoretic figures, changes, rigs, and arms. Part I, ACM SIGAPL APL Quote Quad, v.24 n.1, p.170-184, Aug. 1993
M. Adler, An Algebra for Data Flow Diagram Process Decomposition, IEEE Transactions on Software Engineering, v.14 n.2, p.169-183, February 1988
Zohar Manna , Richard Waldinger, Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, v.18 n.8, p.674-704, August 1992
Friedrich Ludwig Bauer , Bernhard Möller , Helmut Partsch , Peter Pepper, Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming, IEEE Transactions on Software Engineering, v.15 n.2, p.165-180, February 1989
Ralph L. London , Daniel Craigen, Program verification, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
Zohar Manna , Richard Waldinger, The origin of the binary-search paradigm, Proceedings of the 9th international joint conference on Artificial intelligence, p.222-224, August 18-23, 1985, Los Angeles, California

INDEX TERMS

Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE


General Terms:
Algorithms, Languages, Theory


REVIEW

"John A. Campbell : Reviewer"

Although “logic” is a standard topic in the increasing number of courses on discrete mathematics that are turning up in university departments of computer science and mathematics, published material that does a good job for students   more...

Collaborative Colleagues:
Zohar Manna: colleagues
Richard Waldinger: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player