首页>外文会议>ACM SIGACT-SIGPLAN symposium on Principles of programming languages

ACM SIGACT-SIGPLAN symposium on Principles of programming languages

召开年：1979
召开地：San Antonio, TX(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A compact, machine-independent peephole optimizer

机译：紧凑的，独立于机器的窥孔优化器
- 作者：Christopher W. Fraser
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
2.A PL/CV precis

机译：准确的PL / CV
- 作者：Robert L. Constable;Scott D. Johnson
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
3.Inductively computable constructs in very high level languages

机译：极高级语言中的可归纳计算构造
- 作者：Amelia C. Fong
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
4.Principles of proving concurrent programs in Gypsy

机译：在吉普赛中证明并发程序的原理
- 作者：Donald I. Good;Richard M. Cohen;James Keeton-Williams
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
- program verification;
5.First order programming logic

机译：一阶编程逻辑
- 作者：Robert Cartwright;John McCarthy
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
6.The functional power of parameter passage mechanism

机译：参数传递机制的功能
- 作者：Adrienne Critcher
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
7.The evolution of list-copying algorithms and the need for structured program verification

机译：列表复制算法的发展以及对结构化程序验证的需求
- 作者：Stanley Lee;Willem P. deRoever;Susan L. Gerhart
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
8.Recursion in logics of programs

机译：程序逻辑的递归
- 作者：David Harel
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
9.Process logic

机译：工艺逻辑
- 作者：V. R. Pratt
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
10.The logic of a relational data manipulation language

机译：关系数据操作语言的逻辑
- 作者：Marco A. Casanova;Philip A. Bernstein
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
11.Universality of data retrieval languages

机译：数据检索语言的通用性
- 作者：Alfred V. Aho;Jeffrey D. Ullman
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
12.Automatic generation of near-optimal linear-time translators for non-circular attribute grammars

机译：非圆形属性语法的自动生成近似最佳线性时间转换器
- 作者：Rina Cohen;Eli Harry
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
13.Space-time tradeoffs for linear recursion

机译：线性递归的时空权衡
- 作者：Sowmitri Swamy;John E. Savage
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
14.Characterization and elimination of redundancy in recursive programs

机译：表征和消除递归程序中的冗余
- 作者：Norman H. Cohen
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
15.An interpreter generator using tree pattern matching

机译：使用树模式匹配的解释器生成器
- 作者：Christoph M. Hoffmann;Michael J. ODonnell;Michael J. ODonnell
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
16.Decisions for 'type' in APL

机译：APL中“类型”的决定
- 作者：W. E. Gull;M. A. Jenkins
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
17.Specifying programming language semantics

机译：指定编程语言语义
- 作者：I. Greif;A. Meyer
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
18.Systematic design of program analysis frameworks

机译：程序分析框架的系统设计
- 作者：Patrick Cousot;Radhia Cousot
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
19.Automatic data structure selection in SETL

机译：在SETL中自动选择数据结构
- 作者：Edmond Schonberg;Jacob T. Schwartz;Micha Sharir
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
20.Synthesis of resource invariants for concurrent programs

机译：并发程序的资源不变量综合
- 作者：Edmund Melson Clarke
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
21.String pattern matching in polynomial time

机译：多项式时间内的字符串模式匹配
- 作者：K. C. Liu;A. C. Fleck
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
22.Predicate path expressions

机译：谓词路径表达式
- 作者：Sten Andler
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
23.Type checking in an imperfect world

机译：在不完美的世界中进行类型检查
- 作者：Terrence C. Miller
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
24.Data flow analysis of communicating processes

机译：通信流程的数据流分析
- 作者：John H. Reif
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
25.Certifying information flow properties of programs

机译：验证程序的信息流属性
- 作者：Richard P. Reitman;Gregory R. Andrews
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
- synchronization;
26.An efficient way to find the side effects of procedure calls and the aliases of variables

机译：查找过程调用和变量别名的副作用的有效方法
- 作者：John P. Banning
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年
27.Flow analysis and optimization of LISP-like structures

机译：类似于LISP的结构的流量分析和优化
- 作者：Neil D. Jones;Steven S. Muchnick
- 会议名称：《ACM SIGACT-SIGPLAN symposium on Principles of programming languages》 | 1979年