Proceedings of the 32nd Symposium on Principles of Programming Languages
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

Jens Palsberg, Martín Abadi
Proceedings of the 32nd Symposium on Principles of Programming Languages
POPL, 2005.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{POPL-2005,
	acmid         = "1040305",
	address       = "Long Beach, California, USA",
	editor        = "Jens Palsberg and Martín Abadi",
	isbn          = "1-58113-830-X",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 32nd Symposium on Principles of Programming Languages}",
	year          = 2005,
}

Contents (31 items)

POPL-2005-ChakravartyKJM
Associated types with class (MMTC, GK, SLPJ, SM), pp. 1–13.
POPL-2005-CobbeF #revisited
Environmental acquisition revisited (RC, MF), pp. 14–25.
POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism
Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.
POPL-2005-ChenT #object-oriented
A simple typed intermediate language for object-oriented languages (JC, DT), pp. 38–49.
POPL-2005-HosoyaFC #morphism #parametricity #polymorphism #xml
Parametric polymorphism for XML (HH, AF, GC), pp. 50–62.
POPL-2005-SumiiP #abstraction #bisimulation #recursion
A bisimulation for type abstraction and recursion (ES, BCP), pp. 63–74.
POPL-2005-Goguen #approach #similarity #type system
A syntactic approach to eta equality in type theory (HG), pp. 75–84.
POPL-2005-Ghica #game studies
Slot games: a quantitative model of computation (DRG), pp. 85–97.
POPL-2005-AlurCMN #interface #java #specification #synthesis
Synthesis of interface specifications for Java classes (RA, PC, PM, WN), pp. 98–109.
POPL-2005-FlanaganG #model checking #partial order #reduction
Dynamic partial-order reduction for model checking software (CF, PG), pp. 110–121.
POPL-2005-GrumbergLST #approximate #multi
Proof-guided underapproximation-widening for multi-process systems (OG, FL, OS, MT), pp. 122–131.
POPL-2005-PodelskiR #abstraction #termination
Transition predicate abstraction and fair termination (AP, AR), pp. 132–144.
POPL-2005-GayN #communication #process #quantum
Communicating quantum processes (SJG, RN), pp. 145–157.
POPL-2005-LiZ #policy
Downgrading policies and relaxed noninterference (PL, SZ), pp. 158–170.
POPL-2005-ParkPT #probability
A probabilistic language based upon sampling functions (SP, FP, ST), pp. 171–182.
POPL-2005-StoyleHBSN #predict
Mutatis mutandis: safe and predictable dynamic software updating (GS, MWH, GMB, PS, IN), pp. 183–194.
POPL-2005-FieldV #consistency #distributed #maintenance #named #programming
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments (JF, CAV), pp. 195–208.
POPL-2005-BruniMM #composition
Theoretical foundations for compensations in flow composition languages (RB, HCM, UM), pp. 209–220.
POPL-2005-NeubauerT #multi #program transformation #source code
From sequential programs to multi-tier applications by program transformation (MN, PT), pp. 221–232.
POPL-2005-FosterGMPS #approach #combinator #problem #program transformation
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem (JNF, MBG, JTM, BCP, AS), pp. 233–246.
POPL-2005-ParkinsonB #abstraction #logic
Separation logic and abstraction (MJP, GMB), pp. 247–258.
POPL-2005-BornatCOP #logic
Permission accounting in separation logic (RB, CC, PWO, MJP), pp. 259–270.
POPL-2005-CalcagnoGZ #logic
Context logic and tree update (CC, PG, UZ), pp. 271–282.
POPL-2005-BoylandR
Connecting effects and uniqueness with adoption (JTB, WR), pp. 283–295.
POPL-2005-RinetzkyBRSW #abstraction #semantics
A semantics for procedure local heaps and its abstractions (NR, JB, TWR, SS, RW), pp. 296–309.
POPL-2005-HackettR #analysis
Region-based shape analysis with tracked locations (BH, RR), pp. 310–323.
POPL-2005-GulwaniN #analysis #interprocedural #precise #random #using
Precise interprocedural analysis using random interpretation (SG, GCN), pp. 324–337.
POPL-2005-GopanRS #analysis #array #framework
A framework for numeric analysis of array operations (DG, TWR, SS), pp. 338–350.
POPL-2005-XieA #detection #fault #satisfiability #scalability #using
Scalable error detection using boolean satisfiability (YX, AA), pp. 351–363.
POPL-2005-LernerMRC #analysis #automation #data flow #proving
Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.
POPL-2005-MansonPA #java #memory management
The Java memory model (JM, WP, SVA), pp. 378–391.

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.