Conference Record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Papers Presented at the Symposium : Portland, Oregon, January 17-21, 1994Pearson Education, 1994 - 492 lappuses Proceedings -- Parallel Computing. |
Saturs
9001030 a m Chaired by VIVEK SARKAR IBM Santa Teresa Lab | 1 |
Correctness of TrapBased Breakpoint Implementations | 15 |
Dominators Super Blocks and Program Coverage | 25 |
1100 a m 1230 p m Chaired by PETER LEE Carnegie Mellon University | 35 |
A Functional Theory of Local Names | 48 |
From Xo to Av a Journey Through Calculi of Explicit Substitutions | 60 |
200330 p m Chaired by WILLIAM PUGH University of Maryland | 70 |
HigherOrder Concurrent Programs with Finite Communication Topology | 84 |
HigherOrder Equational Logic Programming | 254 |
A Needed Narrowing Strategy | 268 |
200400 p m Chaired by KENNY ZADECK IBM T J Watson Research | 280 |
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph | 287 |
Representation without Taxation | 297 |
Lazy Array DataFlow Dependence Analysis | 311 |
430600 p m Chaired by GERARD BERRY École des Mines SophiaAntipolis | 326 |
Calculi of Higher Order Communication and LAmbda TErms | 339 |
Proving Concurrent Constraint Programs Correct | 98 |
400530 p m Chaired by JOHN LAUNCHBURY Glasgow University | 109 |
A TypeTheoretic Approach to HigherOrder Modules with Sharing | 123 |
A Type System for Prototyping Languages | 138 |
9001030 a m Chaired by LUCA CARDELLI DEC Systems Research Center | 151 |
Soft Typing with Conditional Types | 163 |
Automated Synthesis of Interface Adapters for Reusable Classes | 174 |
11001230 a m Chaired by HANSJ BOEHM Xerox PARC | 188 |
Application to Strictness Analysis | 202 |
Formally Optimal Boxing | 213 |
200400 p m Chaired by DALE MILLER University of Pennsylvania | 227 |
Analyzing Logic Programs with Dynamic Scheduling | 240 |
Combinatory Representation of Mobile Processes | 348 |
430600 p m Chaired by RODNEY FARROW Declarative Systems | 361 |
Composing Tree Attributions | 375 |
A Staging Calculus and its Application to the Verification of Translators | 389 |
Wednesday January 13 | 397 |
A Simple Interprocedural Optimization Technique for Dynamically | 409 |
The Revival Transformation | 421 |
1030 a m 1230 p m Chaired by Carolyn Talcott Stanford University | 435 |
Representing Monads | 446 |
A Generic Account of ContinuationPassing Styles | 458 |
Building Interpreters by Composing Monads 472 | 478 |
Bieži izmantoti vārdi un frāzes
A-calculus abstract interpretation algorithm allocation analysis applied arguments atoms attribute grammars b₁ basic blocks behaviour bisimulation bound breakpoint cache calculus call-by-value closure coercion compilation components Computer Science constraints construction constructor defined definition denotational semantics denote dependence derivation domain dominator tree edge equational evaluation example execution expression Figure finite flowgraph Functional Programming functor gramming graph higher-order implementation induction instruction Integer interface lambda calculus Lemma Logic Programming loop manifest types module monad multiset node notion operational semantics operations optimal parameter polymorphic Principles of Programming problem Proc Programming Languages Prolog proof recursive recursive types reduction relation result rewrite system rules S₁ Section semantics signature Standard ML step structure substitution subtyping super block symbol syntactic techniques Theorem tion transformation type inference type system unification variables write