Abstract is missing.
- Proof Checking and Logic ProgrammingDale Miller. 3-17 [doi]
- On Dual Programs in Co-Logic ProgrammingHirohisa Seki. 21-35 [doi]
- Equational Formulas and Pattern Operations in Initial Order-Sorted AlgebrasJosé Meseguer, Stephen Skeirik. 36-53 [doi]
- Compiling Collapsing Rules in Certain Constructor SystemsSergio Antoy, Andy Jost. 57-72 [doi]
- From Boolean Equalities to ConstraintsSergio Antoy, Michael Hanus. 73-88 [doi]
- A Type-Theoretic Approach to ResolutionPeng Fu, Ekaterina Komendantskaya. 91-106 [doi]
- A Typed Language for EventsSandra Alves, Sabine Broda, Maribel Fernández. 107-123 [doi]
- Applying Sorting Networks to Synthesize Optimized Sorting LibrariesMichael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp. 127-142 [doi]
- Impact of Accuracy Optimization on the Convergence of Numerical Iterative MethodsNasrine Damouche, Matthieu Martel, Alexandre Chapoutot. 143-160 [doi]
- Abstract Analysis of Universal Properties for tccpMarco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva. 163-178 [doi]
- A Global Occurrence Counting Analysis for Brane CalculiChiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi. 179-200 [doi]
- Using Dynamic Pushdown Networks to Automate a Modular Information-Flow AnalysisHeiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner. 201-217 [doi]
- Checking Java Assertions Using Automated Test-Case GenerationRafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof. 221-226 [doi]
- A Generic Intermediate Representation for Verification Condition GenerationManuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández. 227-243 [doi]
- Combining Top-Down and Bottom-Up Techniques in Program DerivationDipak L. Chaudhari, Om P. Damani. 244-258 [doi]
- A Generalized Model for Algorithmic DebuggingDavid Insa, Josep Silva. 261-276 [doi]
- Concolic Execution in Functional Programming by Program InstrumentationAdrián Palacios, Germán Vidal. 277-292 [doi]
- Memory Policy Analysis for Semantics Specifications in MaudeAdrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae. 293-310 [doi]
- SHIP - A Logic-Based Language and Tool to Program Smart EnvironmentsSerge Autexier, Dieter Hutter. 313-328 [doi]
- Correctness of Context-Moving Transformations for Term Rewriting SystemsKoichi Sato, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama. 331-345 [doi]
- Why CP Portfolio Solvers Are (under)Utilized? Issues and ChallengesRoberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. 349-364 [doi]
- CHR in ActionArwa Ismail, Nada Sharaf, Slim Abdennadher. 365-383 [doi]