{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:38Z","timestamp":1761611138119},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1984,10,1]],"date-time":"1984-10-01T00:00:00Z","timestamp":465436800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1984,10]]},"DOI":"10.1007\/bf00264250","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T07:04:43Z","timestamp":1096441483000},"page":"251-269","source":"Crossref","is-referenced-by-count":128,"title":["A logic covering undefinedness in program proofs"],"prefix":"10.1007","volume":"21","author":[{"given":"H.","family":"Barringer","sequence":"first","affiliation":[]},{"given":"J. H.","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"C. B.","family":"Jones","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Abrial, J.R.: Formal Programming. Privately circulated, March 1982"},{"key":"CR2","unstructured":"Abrial, J.R.: A Theoretical Foundation to Formal Programming. Privately circulated, May 1982"},{"key":"CR3","volume-title":"Programs and Machines","author":"R. Bird","year":"1976","unstructured":"Bird, R.: Programs and Machines. New York: John Wiley, 1976"},{"key":"CR4","volume-title":"Formal Specification and Software Development","author":"D. Bjorner","year":"1982","unstructured":"Bjorner, D., Jones, C.B.: Formal Specification and Software Development. New York: Prentice-Hall, 1982"},{"key":"CR5","unstructured":"Blamey, S.R.: Partial-Valued Logic. Ph.D. Thesis, Oxford University, 1980"},{"key":"CR6","unstructured":"Blamey, S.R.: Partial Logic. In: Handbook of Philosophical Logic. (To appear)"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M.: Partial Abstract Types. Acta Informat. 18, 47?64 (1982)","journal-title":"Acta Informat."},{"key":"CR8","volume-title":"A Programming Logic","author":"R.L. Constable","year":"1978","unstructured":"Constable, R.L., O'Donnell, M.J.: A Programming Logic. Cambridge, MA: Winthrop Publishers, 1978"},{"key":"CR9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-11492-0","volume-title":"An Introduction to the PL\/CV2 Programming Logic","author":"R.L. Constable","year":"1982","unstructured":"Constable, R.L., Johnson, S.D., Eichenlaub, C.D.: An Introduction to the PL\/CV2 Programming Logic. Berlin, Heidelberg, New York: Springer 1982"},{"key":"CR10","volume-title":"Lecture Notes in Computer Science, Vol. 145","author":"R.L. Constable","year":"1983","unstructured":"Constable, R.L.: Partial functions in Constructive Formal Theories. Lecture Notes in Computer Science, Vol. 145. Berlin, Heidelberg, New York: Springer, 1983"},{"key":"CR11","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. New York: Prentice-Hall, 1976"},{"key":"CR12","volume-title":"Lecture Notes in Computer Science, Vol. 78","author":"M.J. Gordon","year":"1979","unstructured":"Gordon, M.J., Milner, R., Wadsworth, C.P.: Edinburgh LCF. Lecture Notes in Computer Science, Vol. 78. Berlin, Heidelberg, New York: Springer, 1979"},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: Science of Programming. Berlin, Heidelberg, New York: Springer, 1981"},{"key":"CR14","volume-title":"Deviant Logic","author":"S. Haack","year":"1974","unstructured":"Haack, S.: Deviant Logic. Cambridge: Cambridge University Press, 1974"},{"key":"CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511812866","volume-title":"Philosophy of Logics","author":"S. Haack","year":"1978","unstructured":"Haack, S.: Philosophy of Logics. Cambridge: Cambridge University Press, 1978"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1002\/malq.19790251304","volume":"25","author":"A. Hoogewijs","year":"1979","unstructured":"Hoogewijs, A.: On a Formalization of the Non-definedness Notion. Z. Math. Logik 25, 213?221 (1979)","journal-title":"Z. Math. Logik"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Jones, C.B.: Formal Development of Correct Algorithms: An Example Based on Earley's Recognizer. SIGPLAN 7, (1972)","DOI":"10.1145\/942578.807083"},{"key":"CR18","volume-title":"Software Development: A Rigorous Approach","author":"C.B. Jones","year":"1980","unstructured":"Jones, C.B.: Software Development: A Rigorous Approach. London: Prentice-Hall, 1980"},{"key":"CR19","unstructured":"Jones, C.B.: Systematic Program Development. Talk given at CWI Amsterdam December 1983. (In press)"},{"key":"CR20","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Princeton: Van Nostrand, 1952"},{"key":"CR21","volume-title":"Mathematical Logic","author":"S.C. Kleene","year":"1967","unstructured":"Kleene, S.C.: Mathematical Logic. New York: John Wiley, 1967"},{"key":"CR22","unstructured":"Koletsos, G.: Sequent Calculus and Partial Logic. M.Sc. Thesis, Manchester University, 1976"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0066-4138(69)90005-6","volume":"6","author":"P. Lucas","year":"1969","unstructured":"Lucas, P., Walk, K.: On the Formal Description of P1\/I. Ann. Rev. Automatic Progr. 6, 105?182 (1969)","journal-title":"Ann. Rev. Automatic Progr."},{"key":"CR24","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1967","unstructured":"McCarthy, J.: A Basis for a Mathematical Theory of Computation. In: Computer Programming and Formal Systems. P. Braffort, D. Hirschberg (eds.). Amsterdam: North-Holland, 1967"},{"key":"CR25","volume-title":"Mathematical Theory of computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical Theory of computation. New York: McGraw Hill, 1974"},{"key":"CR26","unstructured":"Owe, O.: Program Reasoning Based on a Logic for Partial Functions. Privately circulated, 1982"},{"key":"CR27","unstructured":"Plotkin, G.D.: Types and Partial Functions. Seminar, University of Manchester, 1984"},{"key":"CR28","volume-title":"Natural Deduction","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction. Stockholm: Almgrist and Wiksell, 1965"},{"key":"CR29","volume-title":"Many-valued Logic","author":"N. Rescher","year":"1969","unstructured":"Rescher, N.: Many-valued Logic. New York: McGraw Hill, 1969"},{"key":"CR30","volume-title":"Lecture Notes in Computer Science, Vol. 37","author":"D.S. Scott","year":"1975","unstructured":"Scott, D.S.: Combinators and Classes. In: Lecture Notes in Computer Science, Vol. 37. B\u00f6hm, C. (ed.). Berlin, Heidelberg, New York: Springer, 1975"},{"key":"CR31","volume-title":"Lecture Notes in Mathematics, Vol.735","author":"D.S. Scott","year":"1979","unstructured":"Scott, D.S.: Identity and Existence in Intuitionistic Logic. In: Lecture Notes in Mathematics, Vol.735. Berlin, Heidelberg, New York: Springer, 1979"},{"key":"CR32","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1002\/malq.19610071705","volume":"7","author":"H. Wang","year":"1961","unstructured":"Wang, H.: The Calculus of Partial Predicates and Its Extension to Set Theory I. Math. Logik 7, 283?288 (1961)","journal-title":"Math. Logik"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Woodruff, P.: Logic and Truth-Value Gaps in Philosophical Problems in Logic. Lambert, K. (ed.). Reidel, 1970","DOI":"10.1007\/978-94-010-3272-8_6"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264250.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00264250\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:59:12Z","timestamp":1585897152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00264250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,10]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1984,10]]}},"alternative-id":["BF00264250"],"URL":"https:\/\/doi.org\/10.1007\/bf00264250","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,10]]}}}