The Beauty of Functional Code pp 18-26

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8106) | Cite as

An Ontology of States

  • Andrew Polonsky
  • Henk Barendregt

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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