{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:51:24Z","timestamp":1694623884392},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[1995,11,1]],"date-time":"1995-11-01T00:00:00Z","timestamp":815184000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1995,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            Generalizing the notion of function composition, we introduce the concept of\n            <jats:italic>conditional<\/jats:italic>\n            function composition and present a theory of such compositions. We use the theory to describe the semantics of a programming language with exceptions, and to relate exceptions to the\n            <jats:italic>IF<\/jats:italic>\n            statement.\n          <\/jats:p>","DOI":"10.1007\/bf01211001","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T12:43:49Z","timestamp":1109335429000},"page":"683-703","source":"Crossref","is-referenced-by-count":2,"title":["Conditional composition"],"prefix":"10.1145","volume":"7","author":[{"given":"Rajit","family":"Manohar","sequence":"first","affiliation":[{"name":"Department of Computer Science 256-80, Caltech, 91125, Pasadena, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Rustan","sequence":"additional","affiliation":[{"name":"Department of Computer Science 256-80, Caltech, 91125, Pasadena, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Leino","sequence":"additional","affiliation":[{"name":"Department of Computer Science 256-80, Caltech, 91125, Pasadena, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Back R.-J. R. and Karttunen M.: A predicate transformer semantics for statements with multiple exits. University of Helsinki unpublished MS 1983."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010218"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Dijkstra E. W. and Scholten C. S.: Predicate Calculus and Program Semantics . Springer-Verlag 1990.","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"e_1_2_1_2_4_2","unstructured":"Dijkstra R. M.: Operational Semantics: Correction & embellishment. Internal note rutger 16 1993."},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Gries D. and Schneider F.: A Logical Approach to Discrete Math . Springer-Verlag 1993.","DOI":"10.1007\/978-1-4757-3837-7"},{"key":"e_1_2_1_2_6_2","unstructured":"Leino K. R. M. and van de Snepscheut J. L. A.: Semantics of Exceptions. In E.-R. Olderog editor Proceedings of the IFIP Working Conference on Programming Concepts Methods and Calculi pp. 447\u2013466. June 1994."},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Lukkien J. J.: An operational semantics for the guarded command language. In R.S. Bird C.C. Morgan and J.C.P. Woodcock editors Mathematics of Program Construction number 669 in Lecture Notes in Computer Science pp. 233\u2013249. Springer-Verlag 1993.","DOI":"10.1007\/3-540-56625-2_16"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Manohar R. and Leino K. R. M.: Theory and Use of Conditional Composition. Caltech technical report CS-TR-94-12 July 1994.","DOI":"10.21236\/ADA451550"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211001.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211001\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:25:01Z","timestamp":1641482701000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,11]]},"references-count":8,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1995,11]]}},"alternative-id":["10.1007\/BF01211001"],"URL":"https:\/\/doi.org\/10.1007\/bf01211001","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,11]]}}}