Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By ACM Press

1581133367

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient deductive methods for program analysis

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360212 ◽

2001 ◽

Author(s):

Harald Ganzinger

Keyword(s):

Program Analysis

Download Full-text

Mobile values, new names, and secure communication

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360213 ◽

2001 ◽

Author(s):

Martín Abadi ◽

Cédric Fournet

Keyword(s):

Secure Communication

Download Full-text

The size-change principle for program termination

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360210 ◽

2001 ◽

Author(s):

Chin Soon Lee ◽

Neil D. Jones ◽

Amir M. Ben-Amram

Keyword(s):

Size Change ◽

Program Termination

Download Full-text

Extensionality and intensionality of the ambient logics

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.375707 ◽

2001 ◽

Author(s):

Davide Sangiorgi

Download Full-text

Computational flux

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360222 ◽

2001 ◽

Author(s):

Robin Milner

Download Full-text

Secure safe ambients

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360223 ◽

2001 ◽

Author(s):

Michele Bugliesi ◽

Giuseppe Castagna

Download Full-text

Regular expression pattern matching for XML

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360209 ◽

2001 ◽

Author(s):

Haruo Hosoya ◽

Benjamin Pierce

Keyword(s):

Expression Pattern ◽

Pattern Matching ◽

Regular Expression

Download Full-text

Modules, abstract types, and distributed versioning

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360225 ◽

2001 ◽

Author(s):

Peter Sewell

Keyword(s):

Download Full-text

Colored local type inference

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360207 ◽

2001 ◽

Author(s):

Martin Odersky ◽

Christoph Zenger ◽

Matthias Zenger

Keyword(s):

Type Inference ◽

Download Full-text

An abstract Monte-Carlo method for the analysis of probabilistic programs

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360211 ◽

2001 ◽

Author(s):

David Monniaux

Keyword(s):

Monte Carlo ◽

Monte Carlo Method ◽

Probabilistic Programs

Download Full-text