Shmuel Sagiv
Proceedings of the 14th European Symposium on Programming
ESOP, 2005.

@proceedings{ESOP-2005,
	address       = "Edinburgh, Scotland, United Kingdom",
	editor        = "Shmuel Sagiv",
	isbn          = "3-540-25435-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th European Symposium on Programming}",
	volume        = 3444,
	year          = 2005,
}

Contents (29 items)

5 ×#type system
4 ×#source code
3 ×#analysis
2 ×#abstract interpretation
2 ×#automation
2 ×#classification
2 ×#logic
2 ×#mobile
2 ×#policy
2 ×#polymorphism

ESOP-2005-Myers #policy #programming #security

Programming with Explicit Security Policies (ACM), pp. 1–4.

ESOP-2005-MauborgneR #abstract interpretation #clustering

Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.

ESOP-2005-CousotCFMMMR

The ASTREÉ Analyzer (PC, RC, JF, LM, AM, DM, XR), pp. 21–30.

ESOP-2005-Muller-OlmSS #interprocedural

Interprocedural Herbrand Equalities (MMO, HS, BS), pp. 31–45.

ESOP-2005-Muller-OlmS #analysis #composition

Analysis of Modular Arithmetic (MMO, HS), pp. 46–60.

ESOP-2005-LeuschelV #deduction #slicing

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering (ML, GV), pp. 61–76.

ESOP-2005-RanganathABDH #slicing

A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.

ESOP-2005-PodelskiSW #recursion #source code #summary

Summaries for While Programs with Recursion (AP, IS, SW), pp. 94–107.

ESOP-2005-LuK #logic programming #source code

Determinacy Inference for Logic Programs (LL, AK), pp. 108–123.

ESOP-2005-LeeYY #analysis #automation #grammarware #pointer #source code #using #verification

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis (OL, HY, KY), pp. 124–140.

ESOP-2005-FournetGM #policy

A Type Discipline for Authorization Policies (CF, ADG, SM), pp. 141–156.

ESOP-2005-CortierW #automation #protocol #proving #security

Computationally Sound, Automated Proofs for Security Protocols (VC, BW), pp. 157–171.

ESOP-2005-JanvierLM #encryption

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries (RJ, YL, LM), pp. 172–185.

ESOP-2005-KremerR #analysis #protocol #π-calculus

Analysis of an Electronic Voting Protocol in the Applied π Calculus (SK, MR), pp. 186–200.

ESOP-2005-TsuikiS #functional

Streams with a Bottom in Functional Languages (HT, KS), pp. 201–216.

ESOP-2005-ShiversW #bottom-up

Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.

ESOP-2005-BieringBT #higher-order #logic

BI Hyperdoctrines and Higher-Order Separation Logic (BB, LB, NTS), pp. 233–247.

ESOP-2005-BusiZ #mobile #reachability

Deciding Reachability in Mobile Ambients (NB, GZ), pp. 248–262.

ESOP-2005-ReusS #logic #semantics

Denotational Semantics for Abadi and Leino’s Logic of Objects (BR, JS), pp. 263–278.

ESOP-2005-TseZ #classification #design

A Design for a Security-Typed Language with Certificate-Based Declassification (ST, SZ), pp. 279–294.

ESOP-2005-GiacobazziM #abstract interpretation #classification #modelling

Adjoining Declassification and Attack Models by Abstract Interpretation (RG, IM), pp. 295–310.

ESOP-2005-ChanderEILN #bound #dynamic analysis #verification

Enforcing Resource Bounds via Static Verification of Dynamic Checks (AC, DE, NI, PL, GCN), pp. 311–325.

ESOP-2005-WildmoserN #bytecode #safety

Asserting Bytecode Safety (MW, TN), pp. 326–341.

ESOP-2005-SecoC #component #polymorphism #type system

Subtyping First-Class Polymorphic Components (JCS, LC), pp. 342–356.

ESOP-2005-NiehrenPS #complexity #satisfiability #type system

Complexity of Subtype Satisfiability over Posets (JN, TP, ZS), pp. 357–373.

ESOP-2005-NaikP #model checking #type system

A Type System Equivalent to a Model Checker (MN, JP), pp. 374–388.

ESOP-2005-MakholmW #calculus #mobile #polymorphism #process #reduction #type system

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close (HM, JBW), pp. 389–407.

ESOP-2005-Thiemann #javascript #source code #towards #type system

Towards a Type System for Analyzing JavaScript Programs (PT), pp. 408–422.

ESOP-2005-JeffreyR #java #semantics

Java Jr: Fully Abstract Trace Semantics for a Core Java Language (AJ, JR), pp. 423–438.