An introduction to program and thread algebra

被引：13

作者：

Ponse, Alban ^{[1
]}

van der Zwaag, Mark B. ^{[1
]}

机构：

[1] Univ Amsterdam, Inst Informat, Programming Res Grp, NL-1098 SJ Amsterdam, Netherlands

来源：

LOGICAL APPROACHES TO COMPUTATIONAL BARRIERS, PROCEEDINGS | 2006年 / 3988卷

关键词：

PGA; Program Algebra; Thread Algebra;

D O I：

10.1007/11780342_46

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We provide an introduction to Program Algebra (PGA, an algebraic approach to the modeling 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 goto's. Threads 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.

引用

页码：445 / 458

页数：14

共 50 条

[11] Formalizing SANE virtual processor in thread algebra
Vu, Thuy Duong
Jesshope, Chris
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 345 - +
[12] Thread Algebra with Prospecting Services and Foresight Patterns
Bergstra, Jan
MATHEMATICS, 2022, 10 (13)
[13] Single Thread Program Parallelism with Dataflow Abstracting Thread
Chen, Tianzhou
Tang, Xingsheng
Ma, Jianliang
Ju, Lihan
Jiang, Guanjun
Shi, Qingsong
ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT 2, PROCEEDINGS, 2010, 6082 : 11 - 21
[14] A thread algebra with multi-level strategic interleaving
Bergstra, J. A.
Middelburg, C. A.
THEORY OF COMPUTING SYSTEMS, 2007, 41 (01) : 3 - 32
[15] A thread algebra with multi-level strategic interleaving
Bergstra, JA
Middelburg, CAK
NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 35 - 48
[16] A Thread Algebra with Multi-Level Strategic Interleaving
J.A. Bergstra
C.A. Middelburg
Theory of Computing Systems, 2007, 41 : 3 - 32
[17] Introduction to abstract algebra
Shiu, Peter
MATHEMATICAL GAZETTE, 2015, 99 (544): : 187 - 189
[18] AN INTRODUCTION TO PROCESS ALGEBRA
KOYMANS, CPJ
VRANCKEN, JLM
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 847
[19] Introduction to Higher Algebra
不详
EDUCATION, 1908, 28 (05): : 334 - 334
[20] An introduction to linear algebra
Eigenvector Research, Inc., 830 Wapato Lake Road, Manson, WA 98831, United States
Crit. Rev. Anal. Chem., 1 (1-19):

← 1 2 3 4 5 →