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 条
  • [31] AN ALGEBRA FOR PROGRAM FRAGMENTS
    KRISTENSEN, BB
    MADSEN, OL
    MOLLERPEDERSEN, B
    NYGAARD, K
    SIGPLAN NOTICES, 1985, 20 (07): : 161 - 170
  • [32] THE BLUE THREAD, INTRODUCTION TO NICARAGUAN LITERATURE
    CUADRA, PA
    CUADERNOS HISPANOAMERICANOS, 1995, (543): : 7 - 17
  • [33] ARIADNE THREAD - AN INTRODUCTION TO LOGIC PROGRAMMING
    MIDORO, V
    CHIOCCARIELLO, A
    PERSICO, D
    SARTI, L
    TAVELLA, M
    COMPUTERS & EDUCATION, 1988, 12 (01) : 191 - 197
  • [34] PROGRAM TURNS PROFILER INTO A THREAD MILLER
    不详
    METALWORKING, 1968, 24 (06): : 47 - &
  • [35] An Introduction to Differential Algebra and the Differential Algebra Manifold Representation
    Wittig, Alexander
    ASTRODYNAMICS NETWORK ASTRONET-II: THE FINAL CONFERENCE, 2016, 44 : 293 - 309
  • [36] Unbounded-Thread Program Verification using Thread-State Equations
    Athanasiou, Konstantinos
    Liu, Peizun
    Wahl, Thomas
    AUTOMATED REASONING (IJCAR 2016), 2016, 9706 : 516 - 531
  • [37] Introduction to Numerical Linear Algebra
    Stroch, Joel A.
    Borgers, Christoph
    IEEE CONTROL SYSTEMS MAGAZINE, 2024, 44 (01): : 79 - 80
  • [38] An introduction to alysidal algebra (IV)
    Uso-Domenech, Jose-Luis
    Antonio Nescolarde-Selva, Josue
    KYBERNETES, 2013, 42 (08) : 1235 - 1247
  • [39] AN INTRODUCTION TO NUMERICAL LINEAR ALGEBRA
    LIVESLEY, RK
    JOURNAL OF THE ROYAL AERONAUTICAL SOCIETY, 1964, 68 (648): : 855 - &
  • [40] PERLIS,S - INTRODUCTION TO ALGEBRA
    REISEL, RB
    AMERICAN MATHEMATICAL MONTHLY, 1967, 74 (09): : 1151 - &
12345