Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Special Session Talk:
An Introduction to Program and Thread Algebra

Speaker: Alban Ponse
Author(s): Alban Ponse and Mark van der Zwaag
Presentation: c06.pdf

Abstract

We provide an introduction to Program Algebra (PGA,
an algebraic approach to the modelling
of sequential programming) and to Thread Algebra (TA).
PGA is used as a basis for several low- and higher-level
programming languages.
As an example we consider a simple language with \emph{goto's}.
Threads as contained in TA model the execution of programs.
Threads may be composed with services which model (part of) the 
execution environment, such as a stack.
Finally, we discuss briefly the expressiveness of PGA and
allude to current work on
multithreading and security hazard risk assessment. 


websites: Arnold Beckmann 2006-04-21 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net