Abstract is missing.
- The challenges of constraint-based test generationVitaly Lagoon. 1-2 [doi]
- Towards automatic synthesis of software verification toolsAndrey Rybalchenko. 3-4 [doi]
- Incremental checking of well-founded recursive specifications modulo axiomsFelix Schernhammer, José Meseguer. 5-16 [doi]
- Graph-transformation verification using monadic second-order logicKazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. 17-28 [doi]
- Bellman's GAP: a declarative language for dynamic programmingGeorg Sauthoff, Stefan Janssen, Robert Giegerich. 29-40 [doi]
- A modular semantics for higher-order declarative programming with constraintsRafael del Vado Vírseda, Fernando Pérez Morente. 41-52 [doi]
- Minimally strict polymorphic functionsJan Christiansen, Daniel Seidel. 53-64 [doi]
- Protocol analysis in Maude-NPA using unification modulo homomorphic encryptionSantiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse. 65-76 [doi]
- Symbolic analysis of network security policies using rewrite systemsTony Bourdier, Horatiu Cirstea. 77-88 [doi]
- Precision and complexity of XQuery type inferenceDario Colazzo, Carlo Sartiani. 89-100 [doi]
- A contextual semantics for concurrent Haskell with futuresDavid Sabel, Manfred Schmidt-Schauß. 101-112 [doi]
- Nitpicking C++ concurrencyJasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar. 113-124 [doi]
- Maintaining distributed logic programs incrementallyVivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov. 125-136 [doi]
- CLP projection for constraint handling rulesRémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo. 137-148 [doi]
- Typing control operators in the CPS hierarchyMalgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet. 149-160 [doi]
- Dependent session types via intuitionistic linear type theoryBernardo Toninho, Luís Caires, Frank Pfenning. 161-172 [doi]
- Linearity and recursion in a typed Lambda-calculusSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. 173-182 [doi]
- Nested proof search as reduction in the Lambda-calculusNicolas Guenot. 183-194 [doi]