J.A.伯格斯特拉。；Loots，M.E.先生。 序列代码的程序代数。 （英语） Zbl 1008.68079号 J.日志。阿尔盖布。程序。 51，第2期，125-156（2002）. 摘要：跳转指令被认为是对命令式顺序编程进行充分理论理解的关键。以基本指令和测试为基础，我们概述了一个程序代数，称为PGA，它抓住了顺序编程的关键。我们挑选出一个行为提取操作符，它为每个程序分配一个行为。根据提取的行为解释了PGA表达式的含义。使用PGA开发了一个小层次的程序符号。投影语义被提出作为描述程序语义的工具。 引用于2评论引用于24文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：程序代数；投影语义学；行为提取 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{M.E.Loots}，J.Log。阿尔盖布。程序。51，No.2，125--156（2002；Zbl 1008.68079） 全文： 内政部 参考文献： [1] Bergstra，J.A。；Klop，J.-W.，同步通信过程代数，信息控制，60，1/3109-137（1984）·Zbl 0597.68027号 [2] Bergstra，J.A。；Loots，M.E.，组件代码的程序代数，形式方面计算，12，1，1-17（2000）·Zbl 0964.68509号 [3] Fokkink，W.J.，《过程代数中永续循环的公理化》，（Degano，P.；Gorrieri，R.；Marchetti-Spaccamela，A.，《第24届自动化学术讨论会论文集，语言与编程-ICALP’97》。第24届自动化、语言和编程学术讨论会论文集——1997年国际计算机辅助语言与程序设计学会，计算机科学讲稿，第1256卷（1997年），施普林格：施普林格柏林），571-581·Zbl 1401.68225号 [4] 霍尔，C.A.R。；海耶斯，I.J。；何继峰；Morgan，C.C。；罗斯科，A.W。；桑德斯，J.W。；索伦森，I.H。；斯皮维，J.M。；Sufrin，B.A.，编程法，Commun。ACM，30，8，672-686（1987）·兹比尔062968006 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。