Location of Repository

Program algebra for sequential code

By J.A. Bergstra and M.E. Loots


The jump instruction is considered essential for an adequate theoretical understanding of imperative sequential programming. Using basic instructions and tests as a basis we outline an algebra of programs, denoted PGA, which captures the crux of sequential programming.We single out a behavior\ud extraction operator which assigns to each program a behavior. The meaning of the expressions of PGA is explained in terms of the extracted behavior. Using PGA a small hierarchy of program notations is developed. Projection semantics is proposed as a tool for the description of program semantics

Topics: Wijsbegeerte, Program algebra, Projection semantics, Behavior extraction
Year: 2002
OAI identifier: oai:dspace.library.uu.nl:1874/21407
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.