{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:28Z","timestamp":1750308088618,"version":"3.41.0"},"reference-count":14,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGPLAN Not."],"published-print":{"date-parts":[[2005,3]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1057474.1057475","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T18:08:27Z","timestamp":1131991707000},"page":"29-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Axiomatic computational model"],"prefix":"10.1145","volume":"40","author":[{"given":"Conrad","family":"Mueller","sequence":"first","affiliation":[{"name":"University of the Witwatersrand, Johannesburg, WITS, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,3]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"466","volume-title":"Compilers: Principles, Techniques and Tools","author":"Aho A. V.","year":"1985","unstructured":"A. V. Aho , R. Sethi and J. D. Ulman : Compilers: Principles, Techniques and Tools ; pp 466 , Addison-Wesley , 1985 . A. V. Aho, R. Sethi and J. D. Ulman: Compilers: Principles, Techniques and Tools; pp 466, Addison-Wesley, 1985."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/85.627895"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_2_1_4_1","volume-title":"Verifiable Programming","author":"Dahl O.","year":"1992","unstructured":"O. Dahl : Verifiable Programming ; Prentice Hall , 1992 . O. Dahl: Verifiable Programming; Prentice Hall, 1992."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465.2468"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.153379"},{"key":"e_1_2_1_8_1","volume-title":"Deductive foundations of Computer Programming","author":"Manna Z.","year":"1993","unstructured":"Z. Manna and R. Waldinger , Deductive foundations of Computer Programming , Addison Wesley , 1993 . Z. Manna and R. Waldinger, Deductive foundations of Computer Programming, Addison Wesley, 1993."},{"key":"e_1_2_1_9_1","volume-title":"Programming from specification","author":"Morgan C.","year":"1991","unstructured":"C. Morgan , Programming from specification , Prentice Hall , 1991 . C. Morgan, Programming from specification, Prentice Hall, 1991."},{"key":"e_1_2_1_10_1","unstructured":"The Concise Oxford Dictionary; Ninth Edition 1995.  The Concise Oxford Dictionary; Ninth Edition 1995."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/641596.641600"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/800050.801819"},{"key":"e_1_2_1_13_1","volume-title":"Software Engineering","author":"Sommerville I","year":"2001","unstructured":"I Sommerville , Software Engineering , 6 th Edition, Addison-Welsey , 2001 . I Sommerville, Software Engineering, 6th Edition, Addison-Welsey, 2001.","edition":"6"},{"key":"e_1_2_1_14_1","volume-title":"Principia Mathematica","author":"Whitehead A. N.","year":"1927","unstructured":"A. N. Whitehead and B. Russell : Principia Mathematica ; 2 nd edition, Cambridge , 1927 . A. N. Whitehead and B. Russell: Principia Mathematica; 2nd edition, Cambridge, 1927.","edition":"2"}],"container-title":["ACM SIGPLAN Notices"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1057474.1057475","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1057474.1057475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:52Z","timestamp":1750262872000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1057474.1057475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["10.1145\/1057474.1057475"],"URL":"https:\/\/doi.org\/10.1145\/1057474.1057475","relation":{},"ISSN":["0362-1340","1558-1160"],"issn-type":[{"type":"print","value":"0362-1340"},{"type":"electronic","value":"1558-1160"}],"subject":[],"published":{"date-parts":[[2005,3]]},"assertion":[{"value":"2005-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}