Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages
Связанные издания:
A Debate on Language and Tool Support for Design Patterns
A Framework for Combining Analysis and Verification
A New Approach to Generic Functional Programming
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code
A Type System for Dynamic Web Documents
Authentication Primitives and Their Compilation
Deciding Type Equivalence in a Language with Singleton Kinds
Efficient Algorithms for Pre and Post on Interprocedural Parallel Flow Graphs
Enforcing Trace Properties by Program Transformation
First-class Macros Have Types
Generalized Certificate Revocation
Implicit Parameters: Dynamic Scoping with Static Types
On the Complexity of Flow-Sensitive Dataflow Analyses
Paths vs. Trees in Set-based Program Analysis
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
Semantics-Preserving Procedure Extraction
Sparse Code Motion
Temporal Abstract Interpretation
Type Elaboration and Subtype Completion for Java Bytecode
Type Systems for Distributed Data Structures