{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:16:36Z","timestamp":1773717396575,"version":"3.50.1"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1007\/bf01178666","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T19:40:37Z","timestamp":1108669237000},"page":"399-430","source":"Crossref","is-referenced-by-count":45,"title":["A typed logic of partial functions reconstructed classically"],"prefix":"10.1007","volume":"31","author":[{"given":"C. B.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. A.","family":"Middelburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"[BCJ84] Barringer, H., Cheng, J.H., Jones, C.B.: A logic covering undefinedness in program proofs. Acta Inf.21, 251?269 (1984)","journal-title":"Acta Inf."},{"key":"CR2","volume-title":"Proof in VDM: A practitioner's guide. FACIT","author":"J.C. Bicarregui","year":"1993","unstructured":"[BFL93] Bicarregui, J.C., Fitzgerald, J.S., Lindsay, P.A., Moore, R., Ritchie, B.: Proof in VDM: A practitioner's guide. FACIT. Berlin, Heidelberg, New York: Springer 1993"},{"key":"CR3","unstructured":"[Che86] Cheng, J.H.: A logic for partial functions. PhD thesis UMCS-86-7-1, University of Manchester, Department of Computer Science, 1986"},{"key":"CR4","series-title":"Workshops in Computing Series","first-page":"51","volume-title":"3rd Refinement Workshop","author":"J.H. Cheng","year":"1991","unstructured":"[CJ91] Cheng, J.H., Jones, C.B.: On the usability of logics which handle partial functions. In: Morgan, C., Woodcock, J.C.P. (eds.) 3rd Refinement Workshop, pp. 51?69. Workshops in Computing Series. Berlin, Heidelberg, New York: Springer 1991"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"[FM93] Fitzgerald, J.S., Moore, R.: Experiences in developing a proof theory for VDM specifications. Technical Report TR424, University of Newcastle upon Tyne, Department of Computing Science, 1993. Also in: Andrews, D.J., Groote, J.F., Middelburg, C.A. (eds.) Semantics of specification languages. Workshops in Computing Series. Berlin, Heidelberg, New York: Springer 1994","DOI":"10.1007\/978-1-4471-3229-5_6"},{"key":"CR6","series-title":"Prentice-Hall International Series in Computer Science","volume-title":"Systematic software development using VDM","author":"C.B. Jones","year":"1990","unstructured":"[Jon90] Jones, C.B.: Systematic software development using VDM (2nd edn). Prentice-Hall International Series in Computer Science. Englewood Cliffs, NJ: Prentice-Hall 1990","edition":"2nd edn"},{"key":"CR7","series-title":"Studies in Logic","volume-title":"Model theory for infinitary logic","author":"H.J. Keisler","year":"1971","unstructured":"[Kei71] Keisler, H.J.: Model theory for infinitary logic. (Studies in Logic, vol. 62) Amsterdam: North-Holland 1971"},{"key":"CR8","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BFb0015041","volume-title":"Algebraic methods: theory, tools and applications","author":"C.P.J. Koymans","year":"1989","unstructured":"[KR89] Koymans, C.P.J., Renardel de Lavalette, G.R.: The logic MPL?. In: Wirsing, M., Bergstra, J.A. (eds.) Algebraic methods: theory, tools and applications (Lect. Notes Comput. Sci., vol. 394, pp. 247?282) Berlin, Heidelberg, New York: Springer 1989"},{"key":"CR9","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/3-540-50214-9_19","volume-title":"VDM '88","author":"B. Konikowska","year":"1988","unstructured":"[KTB88] Konikowska, B., Tarlecki, A., Blikle, A.: A three-valued logic for software specification and validation. In: Bloomfield, R., Marshall, L., Jones, R. (eds.) VDM '88 (Lect. Notes Comput. Sci., vol. 328, pp. 218?242) Berlin, Heidelberg, New York: Springer 1988"},{"key":"CR10","series-title":"Computer Science: Research and Practice","volume-title":"Logic and specification-Extending VDM-SL for advanced formal specification","author":"C.A. Middelburg","year":"1993","unstructured":"[Mid93] Middelburg, C.A.: Logic and specification-Extending VDM-SL for advanced formal specification (Computer Science: Research and Practice. vol. 1) London: Chapman & Hall 1993"},{"key":"CR11","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/3-540-54834-3_18","volume-title":"VDM '91, vol. 1","author":"C.A. Middelburg","year":"1991","unstructured":"[MR91] Middelburg, C.A., Renardel de Lavalette, G.R.: LPF and MPL?-A logical comparison of VDM-SL and COLD-K. In: Prehn, S., Toetenel, W.J. (eds.) VDM '91, vol. 1 (Lect. Notes Comput. Sci., vol. 551, pp. 279?308) Berlin, Heidelberg, New York: Springer 1991"},{"key":"CR12","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526602","volume-title":"Logic and computation","author":"L.C. Paulson","year":"1987","unstructured":"[Pau87] Paulson, L.C.: Logic and computation (Cambridge Tracts in Theoretical Computer Science, vol. 2) Cambridge: Cambridge University Press 1987"},{"key":"CR13","volume-title":"COLD-K2 the static kernel of COLD-K","author":"G.R. Renardel de Lavalette","year":"1989","unstructured":"[Ren89] Renardel de Lavalette, G.R.: COLD-K2 the static kernel of COLD-K. Report RP\/mod-89\/8, Software Engineering Research Centrum, Utrecht, 1989"},{"key":"CR14","first-page":"181","volume-title":"Bertrand Russell, Philosopher of the Century","author":"D.S. Scott","year":"1967","unstructured":"[Sco67] Scott, D.S.: Existence and description in formal logic. In: Schoenman, R. (ed.) Bertrand Russell, Philosopher of the Century, pp. 181?200. St. Leonards: Allen & Unwin 1967"},{"key":"CR15","volume-title":"Handbook of philosophical logic, Chap. I.2","author":"G. Sundhold","year":"1983","unstructured":"[Sun83] Sundhold, G.: Systems of deduction. In: Gabbay, D., Guenther, F. (eds.) Handbook of philosophical logic, Chap. I.2. Dordrecht: D. Reidel 1983"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/BF01178666.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/link.springer.com\/article\/10.1007\/BF01178666\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/BF01178666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T20:29:15Z","timestamp":1586118555000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/link.springer.com\/10.1007\/BF01178666"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":15,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["BF01178666"],"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1007\/bf01178666","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}