Hostname: page-component-848d4c4894-hfldf Total loading time: 0 Render date: 2024-05-15T03:00:44.049Z Has data issue: false hasContentIssue false
  • English
  • Français

Action semantics reasoning about functional programs

Published online by Cambridge University Press:  01 October 1997

S. B. LASSEN
S. B. LASSEN
Affiliation:
BRICS
Centre for Basic Research in Computer Science, Danish National Research Foundation.
, Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Denmark; email: thales@brics.dk
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper develops the functional part of a theory of action semantics for reasoning about programs. Action notation, the specification language of action semantics, is given an evaluation semantics, and operational techniques from process theory and functional programming are applied in the development of a versatile action theory. The power of the theory is demonstrated by means of action semantic proofs of functional program equivalences.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 7 , Issue 5 , October 1997 , pp. 557 - 589
Copyright
1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)