Towards situation-oriented programming languages

, &
ACM SIGPLAN Notices 30 (1):27-36 (1995)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Information-oriented computation with BABY-SIT.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl, Logic, Language and Computation, Volume 1. Stanford, CA: Center for the Study of Language and Information Publications. pp. 19-34.
Computational higher-dimensional type theory.Carlo Angiuli, Robert Harper & Todd Wilson - 2017 - Proceedings of the 44Th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages, Popl ’17 52 (1):680–693.
Logic Programming Languages: Constraints, Functions, and Objects.Krzysztof R. Apt & J. J. M. M. Rutten - 1993 - MIT Press.
BABY-SIT: a computational medium based on situations.Erkan Tin & Varol Akman - 1993 - In Paul Dekker & Martin Stokhof, 9th Amsterdam Colloquium. Amsterdam, The Netherlands: Institute for Logic, Language and Computation.
Situations and computation: an overview of recent research.Erkan Tin & Varol Akman - 1995 - In J. Griffith, Topics in Constraint Grammar Formalism for Computational Linguistics (SfS Report 4-95). Tübingen: Seminar für Sprachwissenschaft, Eberhard-Karls-Universität.
Golog and Linear Logic Programming.G. White - 1998 - Dept. Of Computer Science, Queen Mary and Westfield College.
The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages.Justin Joque - 2016 - Philosophy and Technology 29 (4):335-356.
Programming Languages.Raymond Turner - 2018 - In Computational Artifacts: Towards a Philosophy of Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 67-76.
The Design of Programming Languages.Raymond Turner - 2018 - In Computational Artifacts: Towards a Philosophy of Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 161-167.
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.

Analytics

Added to PP
2009-01-28

Downloads
728 (#79,982)

6 months
127 (#106,235)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Varol Akman
Varol Akman
Bilkent University

Citations of this work

Add more citations

References found in this work

Situations and Attitudes.Nino B. Cocchiarella - 1983 - Journal of Symbolic Logic 51 (2):470.
Logic and Information.Keith Devlin - 1991 - Cambridge University Press.

Add more references