首页>外文会议>The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)

The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Automatic verification of parameterized linear networks of processes

机译：自动验证过程的参数化线性网络
- 作者：David Lesens;Nicolas Halbwachs;Pascal Raymond;PPascal Raymond
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
2.Denotational semantics using an operationally-based term model

机译：使用基于操作的术语模型的指称语义
- 作者：Mitchell Wand;Gregory T. Sullivan;PMitchell Wand;PGregory T. Sullivan
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
3.Constraints to stop higher-order deforestation

机译：限制制止高等级森林砍伐
- 作者：H. Seidl;M. H. Sorensen;PH. Seidl
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
4.Reducing nondeterminism while specializing logic programs

机译：减少不确定性，同时使逻辑程序专业化
- 作者：Alberto Pettorossi;Maurizio Proietti;Sophie Renault;PAlberto Pettorossi
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
5.Type checking higher-order polymorphic multi-methods

机译：类型检查高阶多态多方法
- 作者：Francois Bourdoncle;Stephan Merz;PStephan Merz
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
6.Objective ML

机译：目标ML
- 作者：Didier Remy;Jerome Vouillon
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
7.Rolling your own mutable ADT---a connection between linear types and monads

机译：滚动自己的可变ADT ---线性类型和monad之间的连接
- 作者：Chih-Ping Chen;Paul Hudak;PChih-Ping Chen;PPaul Hudak
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
8.Search and imperative programming

机译：搜索和命令式编程
- 作者：Krzysztof R. Apt;Andrea Schaerf
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
9.A unified computation model for functional and logic programming

机译：用于功能和逻辑编程的统一计算模型
- 作者：Michael Hanus;PMichael Hanus
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
10.The π-calculus in direct style

机译：直接样式的π演算
- 作者：Gerard Boudol;PGerard Boudol
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
11.A demand-driven set-based analysis

机译：基于需求驱动的基于集合的分析
- 作者：Sandip K. Biswas;PSandip K. Biswas
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
12.On the complexity of escape analysis

机译：逃生分析的复杂性
- 作者：Alain Deutsch;PAlain Deutsch
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
13.Call by need computations to root-stable form

机译：根据需要将计算调用为根稳定形式
- 作者：Aart Middeldorp;PAart Middeldorp
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
14.Proof-carrying code

机译：承载代码
- 作者：George C. Necula;PGeorge C. Necula
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
15.Minimal typings in atomic subtyping

机译：原子子类型中的最少键入
- 作者：Jakob Rehof
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
16.Typing algorithm in type theory with inheritance

机译：类型理论中具有继承性的键入算法
- 作者：Amokrane Saibi
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
17.First-class polymorphism with type inference

机译：具有类型推断的一流多态性
- 作者：Mark P. Jones;PMark P. Jones
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
18.Infinitary control flow analysis

机译：无限控制流分析
- 作者：Flemming Nielson;Hanne Riis Nielson
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
19.Types as abstract interpretations

机译：类型作为抽象解释
- 作者：Patrick Cousot
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
20.Comparing the expressive power of the synchronous and the asynchronous π-calculus

机译：比较同步和异步π演算的表达能力
- 作者：Catuscia Palamidessi;PCatuscia Palamidessi
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
21.Program fragments, linking, and modularization

机译：程序片段，链接和模块化
- 作者：Luca Cardelli;PLuca Cardelli
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
22.Behavioral equivalence in the polymorphic pi-calculus

机译：多态pi演算中的行为等效
- 作者：Benjamin C. Pierce;Davide Sangiorgi;PBenjamin C. Pierce;PDavide Sangiorgi
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
23.Parameterized types for Java

机译：Java的参数化类型
- 作者：Joseph A. Bank;Andrew C. Myers;Barbara Liskov;PAndrew C. Myers;PBarbara Liskov
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
24.Determining the idle time of a tiling

机译：确定平铺的空闲时间
- 作者：Karin Hogstedt;Larry Carter;Jeanne Ferrante
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
25.Synchronization transformations for parallel computing

机译：并行计算的同步转换
- 作者：Pedro Diniz;Martin Rinard;PPedro Diniz
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
26.High level reading and data structure compilation

机译：高级阅读和数据结构编译
- 作者：Robert Paige;Zhe Yang;PRobert Paige;PZhe Yang
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
27.Model checking for programming languages using VeriSoft

机译：使用VeriSoft对编程语言进行模型检查
- 作者：Patrice Godefroid
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
28.Pizza into Java

机译：披萨成Java
- 作者：Martin Odersky;Philip Wadler;PMartin Odersky;PPhilip Wadler
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
29.Fast and accurate flow-insensitive points-to analysis

机译：快速准确的流量不敏感点分析
- 作者：Marc Shapiro;Susan Horwitz;PMarc Shapiro;PSusan Horwitz
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
30.Partitioning dataflow analyses using types

机译：使用类型对数据流进行分区分析
- 作者：Erik Ruf
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
31.Shape types

机译：形状类型
- 作者：Pascal Fradet;Daniel Le Metayer
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
32.PolyP---a polytypic programming language extension

机译：PolyP--一种多型编程语言扩展
- 作者：Patrik Jansson;Johan Jeuring;PPatrik Jansson
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
33.A Curry-Howard foundation for functional computation with control

机译：带控制功能计算的Curry-Howard基础
- 作者：C.-H. L. Ong;C. A. Stewart;PC.-H. L. Ong
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
34.Maximizing parallelism and minimizing synchronization with affine transforms

机译：使用仿射变换最大化并行度并最小化同步
- 作者：Amy W. Lim;Monica S. Lam;PMonica S. Lam
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
35.Does 'just in time' = 'better late than never'?

机译：是否“及时” =“迟到总比没有好”？
- 作者：Michael P. Plezbert;Ron K. Cytron
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
36.Relational parametricity and units of measure

机译：关系参数和度量单位
- 作者：Andrew J. Kennedy
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年
37.From SOS rules to proof principles

机译：从SOS规则到证明原则
- 作者：David Sands;PDavid Sands
- 会议名称：《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》 | 1997年