Вы здесь

Главная

Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages

Связанные издания:

A Functional Theory of Local Names
A Staging Calculus and Its Application to the Verification of Translators
A Type System for Prototyping Languages
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Automated Synthesis of Interface Adapters for Reusable Classes
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages
Combinations of Abstract Domains for Logic Programming
Correctness of Trap-Based Breakpoint Implementations
Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis
Formally Optimal Boxing
Higher-Order Concurrent Programs with Finite Communication Topology
Higher-Order Equational Logic Programming
Lazy Array Data-Flow Dependence Analysis
Manifest Types, Modules, and Separate Compilation
Memory Subsystem Performance of Programs Using Copying Garbage Collection
Multi-Pass Execution of Functional Logic Programs
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems
Proving Concurrent Constraint Programs Correct
Reducing Indirect Function Call Overhead in C++ Programs
Soft Typing with Conditional Types
The Revival Transformation
The Typed Polymorphic Label-Selective -Calculus