| Verification: Invited Paper |
| Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren |
| Logic Programming I |
| CAT: The Copying Approach to Tabling / Bart Demoen ; Konstantinos Sagonas |
| SICStus MT - A Multithreaded Execution Environment for SICStus Prolog / Jesper Eskilson ; Mats Carlsson |
| A Framework for Bottom Up Specialisation of Logic Programs / Wim Vanhoof ; Danny De Schreye ; Bern Martens |
| Termination of Logic Programs with block Declarations Running in Several Modes / Jan-Georg Smaus ; Pat Hill ; Andy King |
| Static Analysis |
| The Boolean Logic of Set Sharing Analysis / Michael Codish ; Harald Søndergaard |
| Derivation of Proof Methods by Abstract Interpretation / Giorgio Levi ; Paolo Volpe |
| Detecting Unsolvable Queries for Definite Logic Programs / Maurice Bruynooghe ; Henk Vandecasteele ; D. Andre de Waal ; Marc Denecker |
| Staging Static Analyses Using Abstraction-Based Program Specialization / John Hatcliff ; Matthew Dwyer ; Shawn Laubach |
| An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs / Fausto Spoto |
| Software Methodologies: Invited Paper Architecturing Software Using: A Methodology for Language Development / Charles Consel ; Renaud Marlet |
| Object Oriented Programming |
| Explicit Substitutions for Objects and Functions / Delia Kesner ; Pablo E. Mart'inez Lopez |
| The Complexity of Late-Binding in Dynamic Object-Oriented Languages / Enrico Pontelli ; Desh Ranjan ; Gopal Gupta |
| Term Rewriting |
| A Compiler for Rewrite Programs in Associative-Commutative Theories / Pierre-Etienne Moreau ; Héléne Kirchner |
| Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems / Takahito Aoto |
| A General Framework for R-Unification Problems / Sebastien Limet ; Frédéric Saubion |
| Semantics: Tutorial |
| Operational Versus Denotational Methods in the Semantics of Higher Order Languages / Andrew M. Pitts |
| Functional Programming |
| Functional Implementations of Continuous Modeled Animation / Conal Elliott |
| Compiling Erlang to Scheme / Marc Feeley ; Martin Larose |
| From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View / Silvia Breitinger ; Ulrike Klusik ; Rita Loogen |
| Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine / David Wakeling |
| Metaprogramming: Tutorial |
| Program Analysis in ?Prolog / John Hannan |
| Logic Programming II |
| A Game Semantics Foundation for Logic Programming / Roberto Di Cosmo ; Jean-Vincent Loddo ; Stephane Nicolet |
| Controlling Search in Declarative Programs / Michael Hanus ; Frank Steiner |
| Encapsulating Data in Logic Programming via Categorical Constraints / James Lipton ; Robert McGrail |
| Constructive Negation Using Typed Existence Properties / John G. Cleary ; Lunjin Lu |
| Optimal Evaluation: Tutorial |
| Optimal Reduction of Functional Expressions / Andrea Asperti |
| Integration |
| Embedding Multiset Constraints into a Lazy Functional Logic Language / P. Arenas-Sánchez ; F.J. López-Fraguas ; M. Rodr'iguez-Artalejo |
| A Hidden Herbrand Theorem / Joseph Goguen ; Grant Malcolm ; Tom Kemp |
| Constraint Solving |
| Integrating Constraint Propagation in Complete Solving of Linear |
| Diophantine Systems / Farid Ajili ; Hendrik C.R. Lock |
| Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method / Philippe Refalo |
| Author Index |
| Verification: Invited Paper |
| Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren |
| Logic Programming I |
図書
