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 条

[1] THREAD ALGEBRA FOR NONINTERFERENCE
Vu, Thuy Duong
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2009, 43 (02): : 249 - 268
[2] Probabilistic Thread Algebra
Bergstra, J. A.
Middelburg, C. A.
SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2015, 25 (02) : 211 - 243
[3] INTRODUCTION TO BOOLEAN ALGEBRA AND LOGIC DESIGN/A PROGRAM FOR SELF-INTRODUCTION
NODELMAN, HM
IEEE SPECTRUM, 1965, 2 (09) : 176 - &
[4] Thread algebra for strategic interleaving
Bergstra, J. A.
Middelburg, C. A.
FORMAL ASPECTS OF COMPUTING, 2007, 19 (04) : 445 - 474
[5] A Short Introduction to Program Algebra with Instructions for Boolean Registers
Bergstra, Jan A.
Middelburg, Cornelis A.
COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2018, 26 (03) : 199 - 232
[6] Denotational semantics for thread algebra
Vu, Thuy Duong
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 74 (02): : 94 - 111
[7] Thread algebra for poly-threading
Bergstra, J. A.
Middelburg, C. A.
FORMAL ASPECTS OF COMPUTING, 2011, 23 (04) : 567 - 583
[8] Introduction: Holding the thread
Roberts, J
Kraemer, S
POLITICS OF ATTACHMENT: TOWARDS A SECURE SOCIETY, 1996, : 1 - 20
[9] Program Algebra over an Algebra
Bancerek, Grzegorz
FORMALIZED MATHEMATICS, 2012, 20 (04): : 309 - 341
[10] Thread algebra with multi-level strategies
Bergstra, J. A.
Middelburg, C. A.
FUNDAMENTA INFORMATICAE, 2006, 71 (2-3) : 153 - 182

← 1 2 3 4 5 →