Axiomatic computational model

ABSTRACT

A new model of computation is explored based on axiomatic logic. The significant difference from other models is how reasoning about variables is expressed. The computation is described only by defining variables in terms of other variables. The benefit is the simplicity of the semantics of the axiomatic logic. The model is described in the form of a tutorial using a simple language to illustrate how a program can be expressed in this model.

REFERENCES

• 1: Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 2: Robert L. Baber, Comparison of Electrical "Engineering" of Heaviside's Times and Software "Engineering" of Our Times, IEEE Annals of the History of Computing, v.19 n.4, p.5-17, October 1997 [doi>10.1109/85.627895 ]
• 3: John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
• 4: Ole-Johan Dahl, Verifiable Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1992
• 5: J. R Gurd , C. C Kirkham , I. Watson, The Manchester prototype dataflow computer, Communications of the ACM, v.28 n.1, p.34-52, Jan. 1985 [doi>10.1145/2465.2468]
• 6: C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
• 7: Zohar Manna , Richard Waldinger, Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, v.18 n.8, p.674-704, August 1992 [doi>10.1109/32.153379 ]
• 8: Zohar Manna , Richard Waldinger, The deductive foundations of computer programming: a one-volume version of “the logical basis for computer programming”, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1993
• 9: Carroll Morgan, Programming from specifications, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 10: The Concise Oxford Dictionary; Ninth Edition, 1995.
• 11: Arieh Plotkin , Daniel Tabak, A Tree Structured Architecture for semantic gap reduction, ACM SIGARCH Computer Architecture News, v.11 n.4, p.30-44, September 1983 [doi>10.1145/641596.641600]
• 12: Justin Rattner, Hardware/software cooperation in the iAPX-432, Proceedings of the first international symposium on Architectural support for programming languages and operating systems, p.1, March 01-03, 1982, Palo Alto, California, United States
• 13: Ian Sommerville, Software engineering (6th ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001
• 14: A. N. Whitehead and B. Russell: Principia Mathematica; 2nd edition, Cambridge, 1927.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Program analysis

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Algebraic approaches to semantics
      F.3.3 Studies of Program Constructs
          Subjects: Program and recursion schemes

General Terms:
Algorithms, Theory

Keywords:
axiomatic semantics, model of computation, programming language