An Ontology of States

  • Andrew Polonsky
  • Henk Barendregt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8106)


The notion of state is ubiquitous in analysis of computational systems. State introduces intensional content into a dynamical process which cannot be directly observed from outside. Without a state, the process is defined purely by its inputoutput behaviour, and is thus expected to run itself out toward a final result, ie, compute some function. The injunction of internal data that has causal effect on the execution of a system can thus be said to be the step that extends the concept of a function to that of a process, which is no longer guaranteed to terminate.


Functional Language Combinational Circuit Bottom Element Extensional Solution Intensional Part 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Tarski, A.: Introduction to logic and to the methodology of deductive sciences. Oxford university press (1941)Google Scholar
  2. 2.
    Gunter, C.A., Scott, D.S.: Semantic Domains. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 633–674 (1990)Google Scholar
  3. 3.
    Plasmeijer, R., van Eekelen, M.: Functional programming and parallel graph rewriting. Addison-wesley (1993)Google Scholar
  4. 4.
    Achten, P., Plasmeijer, R.: The Ins and Outs of Clean I/O. JFP 5(01), 81–110 (1995)MATHGoogle Scholar
  5. 5.
    Lijnse, B.: TOP to the Rescue. PhD thesis (2013)Google Scholar
  6. 6.
    Plasmeijer, R., Lijnse, B., Michels, S., Achten, P., Koopman, P.: Task-Oriented Programming in a Pure Functional Language. In: Proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP 2012, Leuven, Belgium, pp. 195–206 (2012)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Andrew Polonsky
    • 1
  • Henk Barendregt
    • 1
    • 2
  1. 1.Institute for Computing and Information Sciences (iCIS)Radboud University NijmegenThe Netherlands
  2. 2.Netherlands Institute for Advanced StudyWassenaarThe Netherlands

Personalised recommendations