Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers > Compiling Control as Offline Partial Deduction
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers |
Fred Mesnard; Peter J. Stuckey
Springer International Publishing
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Compiling Control as Offline Partial Deduction
Authors

Vincent Nys; Danny De Schreye

ARI Id

1665174583627_5161533

Access

Not Available Free

Pages

115-131

DOI

10.1007/978-3-030-13838-7_7

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-13838-7_7

Table of Contents of Book
Showing 1 to 17 of 17 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XX
Front Matter
1-1
Proving Program Properties as First-Order Satisfiability
Salvador Lucas
3-21
Guided Unfoldings for Finding Loops in Standard Term Rewriting
Étienne Payet
22-37
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms
María Alpuente; Angel Cuenca-Ortega; Santiago Escobar; José Meseguer
38-55
Front Matter
57-57
Multiparty Classical Choreographies
Marco Carbone; Luís Cruz-Filipe; Fabrizio Montesi; Agata Murawska
59-76
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference
Petros Papapanagiotou; Jacques Fleuriot
77-93
Confluence of CHR Revisited: Invariants and Modulo Equivalence
Henning Christiansen; Maja H. Kirkeby
94-111
Front Matter
113-113
Compiling Control as Offline Partial Deduction
Vincent Nys; Danny De Schreye
115-131
Predicate Specialization for Definitional Higher-Order Logic Programs
Antonis Troumpoukis; Angelos Charalambidis
132-147
An Assertion Language for Slicing Constraint Logic Languages
Moreno Falaschi; Carlos Olarte
148-165
Front Matter
167-167
Eliminating Unstable Tests in Floating-Point Programs
Laura Titolo; César A. Muñoz; Marco A. Feliú; Mariano M. Moscato
169-183
Multivariant Assertion-Based Guidance in Abstract Interpretation
Isabel Garcia-Contreras; Jose F. Morales; Manuel V. Hermenegildo
184-201
Back Matter
203-203
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 17 of 17 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings