Abstract is missing.
- Formalizing and verifying semantic type soundness of a simple compilerNick Benton, Uri Zarfaty. 1-12 [doi]
- Interactive, scalable, declarative program analysis: from prototype to implementationWilliam C. Benton, Charles N. Fischer. 13-24 [doi]
- Detecting defects in Erlang programs using static analysisKonstantinos F. Sagonas. 37 [doi]
- Practical use of polynomials over the reals in proofs of terminationSalvador Lucas. 39-50 [doi]
- Type safe dynamic linking for JVM access controlChristian Skalka. 51-62 [doi]
- Systematic generation of glass-box test cases for functional logic programsSebastian Fischer, Herbert Kuchen. 63-74 [doi]
- Mechanized metatheory model-checkingJames Cheney, Alberto Momigliano. 75-86 [doi]
- Relational semantics for effect-based program transformations with dynamic allocationNick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann. 87-96 [doi]
- Higher-order semantic labelling for inductive datatype systemsMakoto Hamana. 97-108 [doi]
- Observing intermediate structures in a parallel lazy functional languageAlberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero. 109-120 [doi]
- Computing with subspacesSergio Antoy, Bernd Braßel. 121-130 [doi]
- Real-time rewriting semantics of orcMusab AlTurki, José Meseguer. 131-142 [doi]
- A larger decidable semiunification problemBrad Lushman, Gordon V. Cormack. 143-152 [doi]
- Local reasoning about storable locksJosh Berdine. 153 [doi]
- Putting declarative programming into the web: translating curry to javascriptMichael Hanus. 155-166 [doi]
- Induction for positive almost sure terminationIsabelle Gnaedig. 167-178 [doi]
- Unfolding in CHRPaolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo. 179-186 [doi]
- Nonmonotonic inductive logic programming by instance patternsChongbing Liu, Enrico Pontelli. 187-196 [doi]
- A simple rewrite notion for call-time choice semanticsFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. 197-208 [doi]
- Regular directional types for logic programsWitold Charatonik. 209 [doi]
- Efficient trust management policy analysis from rulesKatia Hristova, K. Tuncay Tekle, Yanhong A. Liu. 211-220 [doi]
- Feasible reactivity in a synchronous Pi-calculusRoberto M. Amadio, Frédéric Dabrowski. 221-230 [doi]