Proceedings of the 14th European Symposium on Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.