Abstract is missing.
- Generation of Initial Contexts for Effective Deadlock DetectionElvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel. 3-19 [doi]
- A Rule-Based Approach to Analyzing Database Schema Objects with DatalogChristiane Engels, Andreas Behrend, Stefan Brass. 20-36 [doi]
- Deadlock Detection of Java BytecodeCosimo Laneve, Abel Garcia. 37-53 [doi]
- Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic BlocksUmer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo. 54-72 [doi]
- CARET Analysis of Multithreaded ProgramsHuu-Vu Nguyen, Tayssir Touili. 73-90 [doi]
- Context Generation from Formal Specifications for C Analysis ToolsMichele Alberti, Julien Signoles. 93-111 [doi]
- Liveness-Driven Random Program GenerationGergö Barany. 112-127 [doi]
- Erlang Code Evolution ControlDavid Insa, Sergio Pérez 0001, Josep Silva, Salvador Tamarit. 128-144 [doi]
- Justifications in Constraint Handling Rules for Logical Retraction in Dynamic AlgorithmsThom W. Frühwirth. 147-163 [doi]
- Confluence and Convergence in Probabilistically Terminating Reduction SystemsMaja H. Kirkeby, Henning Christiansen 0001. 164-179 [doi]
- Analysis of Rewriting-Based Systems as First-Order TheoriesSalvador Lucas. 180-197 [doi]
- A Constructor-Based Reachability Logic for Rewrite TheoriesStephen Skeirik, Andrei Stefanescu, José Meseguer. 201-217 [doi]
- Fuzzy Unification and Generalization of First-Order Terms over Similar SignaturesHassan Aït-Kaci, Gabriella Pasi. 218-234 [doi]
- Nominal C-UnificationMauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes Sobrinho. 235-251 [doi]
- On Uniquely Closable and Uniquely Typable Skeletons of Lambda TermsOlivier Bodini, Paul Tarau. 252-268 [doi]
- A Certified Reference Validation Mechanism for the Permission Model of AndroidGustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna. 271-288 [doi]
- Predicate Pairing with Abstraction for Relational VerificationEmanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. 289-305 [doi]
- Variant-Based Decidable Satisfiability in Initial Algebras with PredicatesRaúl Gutiérrez, José Meseguer. 306-322 [doi]
- Combining Static and Dynamic Contract Checking for CurryMichael Hanus. 323-340 [doi]