布罗伊，M。（编辑）;C.B.琼斯。（编辑） 编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。 （英语） Zbl 0744.68016号 阿姆斯特丹等地：荷兰北部。八、 第581页（1990年）。 [本卷中的文章不会单独编入索引。]这本书代表了1990年4月在以色列加利利海举行的IFIP工作组2.2（编程概念的正式描述）和2.3（编程方法）会议的会议记录。随函附上24篇关于编程方法学基本方法的高质量论文。可以特别强调支持定理证明语言和系统任务的语义描述和实现技术，以及它们相应的逻辑框架。内容：B.A.桑德斯，并行程序混合规范的逐步细化（第1-26页）；R.J.范格拉贝克《（ST）-互模拟语义的精化定理》（第27-52页）；R.Berghammer公司,H.埃勒,B.莫勒《关于通过变换对非确定性递归例程的精化》（第53-72页）；S.Katz公司,一、工头,M.福音传道者《分布式系统的语言结构》（第73-100页）；L.修复,N.弗朗西兹,O.格伦伯格《分布式程序验证的语义驱动分解》（第101-124页）；Y.Ortega-购物中心,D.de Frutos-Escrig公司《时间观察：实时并发的语义模型》（第125-154页）；J.J.M.M.鲁滕从结构操作语义推导互模拟的指称模型（第155-178页）；R.J.R.背面,J.von Wright（冯·赖特），用高阶逻辑形式化的精炼概念（第179-200页）；韦伯《Bird-Meertens算法演算在deva-mata-calculation中的形式化》（第201-232页）；U.马丁,T.尼普科《自动波形曲线》（第233-246页）；J.杰林《定理的算法》（第247-266页）；J.德沙奈斯,N.H.马达夫吉《抽象关系规范》（第267-284页）；A.迪特尔《通信过程的全球控制》（第285-302页）；P.美国,F.de Boer先生《过程创造的证明体系》（第303-332页）；C.拉方丹DEVA元演算中VDM具体化的形式化——人类白细胞抗原案例研究（第333-368页）；S.J.加兰,J.V.古塔格，使用（LP）调试规范（第369-386页）；D.M.Goldschlag博士《机械化统一》（第387-414页）；十、尼古丁,J.-L.里奇尔,J.西法基斯,J.沃伊隆《ATP：时间过程的代数》（第415-442页）；A.贾卡隆,C.-C.Jou,S.A.Smolka公司概率并发系统的代数推理（第443-458页）；何继峰,M.B.约瑟夫,C.A.R.霍尔《同步与异步理论》（第459-478页）；L.Cardelli（卡德利）,X.勒罗伊《抽象类型和点符号》（第479-504页）；F.洪塞尔,S.Ronchi della Rocca公司《关于定性（λ）模型解释的推理》（第505-522页）；M.C.亨森《编程逻辑中的信息丢失》（TK）（第523-560页）；P.Wadler先生，线性类型可以改变世界！（第561-581页）。审核人：N.Curteanu（伊阿什） 引用于15文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68号01 软件理论的一般主题 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：加利利海（以色列）;编程概念;编程方法;会议;诉讼;证明理论;编程概念的形式化描述;程序设计方法;定理证明语言;逻辑框架 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}（编辑）和\textit{C.B.Jones}（编），编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。阿姆斯特丹等：北荷兰（1990；Zbl 0744.68016）