{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:04Z","timestamp":1750307344945,"version":"3.41.0"},"reference-count":13,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1995,1,3]],"date-time":"1995-01-03T00:00:00Z","timestamp":789091200000},"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":[[1995,1,3]]},"abstract":"<jats:p>Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.<\/jats:p>","DOI":"10.1145\/199818.199846","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T18:08:27Z","timestamp":1131991707000},"page":"27-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards situation-oriented programming languages"],"prefix":"10.1145","volume":"30","author":[{"given":"Erkan","family":"Tin","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Bilkent University, Bilkent, 06533 Ankara, Turkey"}]},{"given":"Varol","family":"Akman","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Bilkent University, Bilkent, 06533 Ankara, Turkey"}]},{"given":"Murat","family":"Ersan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Brown University, Providence, RI, USA"}]}],"member":"320","published-online":{"date-parts":[[1995,1,3]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Situations and Attitudes","author":"Barwise J.","year":"1983","unstructured":"[ 1 ] J. Barwise and J. Perry . Situations and Attitudes , Cambridge, MA : MIT Press , 1983 . [1] J. Barwise and J. Perry. Situations and Attitudes, Cambridge, MA: MIT Press, 1983."},{"key":"e_1_2_1_2_1","volume-title":"CSLI Lecture Notes Number 17","author":"Barwise J.","year":"1989","unstructured":"[ 2 ] J. Barwise . The Situation in Logic , CSLI Lecture Notes Number 17 , Center for the Study of Language and Information, Stanford, CA, 1989 . [2] J. Barwise. The Situation in Logic, CSLI Lecture Notes Number 17, Center for the Study of Language and Information, Stanford, CA, 1989."},{"key":"e_1_2_1_3_1","volume-title":"The Liar: An Essay on Truth and Circularity","author":"Barwise J.","year":"1987","unstructured":"[ 3 ] J. Barwise and J. Etchemendy . The Liar: An Essay on Truth and Circularity , New York, N.Y. : Oxford University Press , 1987 . [3] J. Barwise and J. Etchemendy. The Liar: An Essay on Truth and Circularity, New York, N.Y.: Oxford University Press, 1987."},{"key":"e_1_2_1_4_1","volume-title":"Department of Artificial Intelligence","author":"Black A. W.","year":"1993","unstructured":"[ 4 ] A. W. Black . \"An Approach to Computational Situation Semantics,\" Ph. D. Thesis , Department of Artificial Intelligence , University of Edinburgh , Edinburgh, U.K. , April 1993 . [4] A. W. Black. \"An Approach to Computational Situation Semantics,\" Ph.D. Thesis, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, U.K., April 1993."},{"key":"e_1_2_1_5_1","volume-title":"Situation Theory and Its Applications","author":"Cooper R.","year":"1990","unstructured":"[ 5 ] R. Cooper , K. Mukai , and J. Perry , editors . Situation Theory and Its Applications , Volume 1 , CSLI Lecture Notes Number 22, Center for the Study of Language and Information, Stanford, CA, 1990 . [5] R. Cooper, K. Mukai, and J. Perry, editors. Situation Theory and Its Applications, Volume 1, CSLI Lecture Notes Number 22, Center for the Study of Language and Information, Stanford, CA, 1990."},{"key":"e_1_2_1_6_1","volume-title":"Logic and Information","author":"Devlin K.","year":"1991","unstructured":"[ 6 ] K. Devlin . Logic and Information , Cambridge, U.K. : Cambridge University Press , 1991 . [6] K. Devlin. Logic and Information, Cambridge, U.K.: Cambridge University Press, 1991."},{"key":"e_1_2_1_7_1","unstructured":"[\n  7\n  ]  KEE\u00bf (Knowledge Engineering Environment) Software Development System Version 4.1 IntelliCorp Inc. Mountain View CA 1993.  [7] KEE\u00bf (Knowledge Engineering Environment) Software Development System Version 4.1 IntelliCorp Inc. Mountain View CA 1993."},{"key":"e_1_2_1_8_1","first-page":"76","volume-title":"Communication and Inference through Situations,\" in Proceedings of the Third Conference on Artificial Intelligence Applications","author":"Nakashima H.","year":"1987","unstructured":"[ 8 ] H. Nakashima , S. Peters , and H. Sch\u00fctze . \" Communication and Inference through Situations,\" in Proceedings of the Third Conference on Artificial Intelligence Applications , Washington, D.C. : IEEE Computer Society Press , 1987 , pp. 76 - 81 . [8] H. Nakashima, S. Peters, and H. Sch\u00fctze. \"Communication and Inference through Situations,\" in Proceedings of the Third Conference on Artificial Intelligence Applications , Washington, D.C.: IEEE Computer Society Press, 1987, pp. 76-81."},{"key":"e_1_2_1_9_1","first-page":"489","volume-title":"Institute for New Generation Computer Technology","author":"Nakashima H.","year":"1988","unstructured":"[ 9 ] H. Nakashima , H. Suzuki , P.-K. Halvorsen , and S. Peters . \" Towards a Computational Interpretation of Situation Theory,\" in Proceedings of the International Conference on Fifth Generation Computer Systems , Institute for New Generation Computer Technology , Tokyo, Japan , 1988 , pp. 489 - 498 . [9] H. Nakashima, H. Suzuki, P.-K. Halvorsen, and S. Peters. \"Towards a Computational Interpretation of Situation Theory,\" in Proceedings of the International Conference on Fifth Generation Computer Systems, Institute for New Generation Computer Technology, Tokyo, Japan, 1988, pp. 489-498."},{"key":"e_1_2_1_10_1","volume-title":"Center for the Study of Language and Information","author":"Sch\u00fctze H.","year":"1991","unstructured":"[ 10 ] H. Sch\u00fctze . \"The PR OSIT Language v0.4,\" Manuscript , Center for the Study of Language and Information , Stanford University , Stanford, CA , 1991 . [10] H. Sch\u00fctze. \"The PROSIT Language v0.4,\" Manuscript, Center for the Study of Language and Information, Stanford University, Stanford, CA, 1991."},{"key":"e_1_2_1_11_1","volume-title":"BABY-SIT: A Computational Medium Based on Situations,\" in P","author":"Tin E.","year":"1993","unstructured":"[ 11 ] E. Tin and V. Akman . \" BABY-SIT: A Computational Medium Based on Situations,\" in P . Dekker and M. Stokhof, editors, Proceedings of the 9th Amsterdam Colloquium , Part III, University of Amsterdam , Amsterdam, Holland : Institute for Logic , Language , and Computation, 1993 , 665-681. [11] E. Tin and V. Akman. \"BABY-SIT: A Computational Medium Based on Situations,\" in P. Dekker and M. Stokhof, editors, Proceedings of the 9th Amsterdam Colloquium , Part III, University of Amsterdam, Amsterdam, Holland: Institute for Logic, Language, and Computation, 1993, 665-681."},{"key":"e_1_2_1_12_1","first-page":"299","volume-title":"BABY-SIT: Towards a Situation-Theoretic Computational Environment,\" in C","author":"Tin E.","year":"1994","unstructured":"[ 12 ] E. Tin and V. Akman . \" BABY-SIT: Towards a Situation-Theoretic Computational Environment,\" in C . Mart\u00edn-Vide, editor, Current Issues in Mathematical Linguistics, North-Holland Linguistic Series , Volume 56 , Amsterdam, Holland : North-Holland , 1994 , pp. 299 - 308 . [12] E. Tin and V. Akman. \"BABY-SIT: Towards a Situation-Theoretic Computational Environment,\" in C. Mart\u00edn-Vide, editor, Current Issues in Mathematical Linguistics, North-Holland Linguistic Series, Volume 56, Amsterdam, Holland: North-Holland, 1994, pp. 299- 308."},{"key":"e_1_2_1_13_1","volume-title":"Information-Oriented Computation with BABY-SIT,\" in Conference on Information-Oriented Approaches to Logic, Language, and Computation (4th Conference on Situation Theory and its Applications)","author":"Tin E.","year":"1994","unstructured":"[ 13 ] E. Tin and V. Akman . \" Information-Oriented Computation with BABY-SIT,\" in Conference on Information-Oriented Approaches to Logic, Language, and Computation (4th Conference on Situation Theory and its Applications) , Saint Mary's College of California , Moraga, CA , 1994 (to be published by CSLI). [13] E. Tin and V. Akman. \"Information-Oriented Computation with BABY-SIT,\" in Conference on Information-Oriented Approaches to Logic, Language, and Computation (4th Conference on Situation Theory and its Applications) , Saint Mary's College of California, Moraga, CA, 1994 (to be published by CSLI)."}],"container-title":["ACM SIGPLAN Notices"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/199818.199846","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/199818.199846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:26Z","timestamp":1750244786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/199818.199846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1,3]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1,3]]}},"alternative-id":["10.1145\/199818.199846"],"URL":"https:\/\/doi.org\/10.1145\/199818.199846","relation":{},"ISSN":["0362-1340","1558-1160"],"issn-type":[{"type":"print","value":"0362-1340"},{"type":"electronic","value":"1558-1160"}],"subject":[],"published":{"date-parts":[[1995,1,3]]},"assertion":[{"value":"1995-01-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}