Вы здесь

Главная

POPL 2004

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

Abstractions from Proofs
An Abstract Interpretation-Based Framework for Software Watermarking
A Semantics for Web Services Authentication
Asynchronous and Deterministic Objects
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs
A Type System for Well-Founded Recursion
Channel Dependent Types for Higher-Order Mobile Processes
Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums
Formalization of Generics for the .NET Common Language Runtime
Incremental Execution of Transformation Specifications
Isomorphisms of Genetic Recursive Polynomial Types
Local Reasoning about a Copying Garbage Collector
Non-linear Invariant Generation using Grobner Bases
Parsing Expression Grammars: A Recognition-Based Syntactic Foundation
Polymorphic Typed Defunctionalization
Precise Interprocedural Analysis through Linear Algebra
Principal Typings for Java-like Languages
Semantic Types: A Fresh Look at the Ideal Model for Types
Separation and Information Hiding
Simple Relational Correctness Proofs for Static Analyses and Program Transformations
Summarizing Procedures in Concurrent Programs
Symbolic Transfer Function-based Approaches to Certified Compilation
The Space Cost of Lazy Reference Counting
Tridirectional Typechecking