Logic-Based Program Synthesis and Transformation
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023.
The 8 full papers and 4 short...
The 8 full papers and 4 short...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Logic-Based Program Synthesis and Transformation “
Klappentext zu „Logic-Based Program Synthesis and Transformation “
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.
Inhaltsverzeichnis zu „Logic-Based Program Synthesis and Transformation “
K eynotes.- Unification modulo equational theories in languages with binding operators.- Horn Clauses Analysis, Transformation and Synthesis.- Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples.- Transforming big-step to small-step semantics using interpreter specialisation.- Constrained Horn Clauses Satisfiability via Catamorphic Abstractions.- Static analysis and Type systems.- A reusable machine-calculus for automated resource analyses.- Approach for Designing and Composing Abstract Domains.- A Logical Interpretation of Asynchronous Multiparty Compatibility.- Relational Solver for Java Generics Type System.- Unification and substitution in (C)LP.- Predicate Anti-unification in (Constraint) Logic Programming.- A term matching algorithm and substitution generality.- Knowledge representation and AI-based learning.- A novel EGs-based framework forsystematic propositional-formula simplification.- From Static to Dynamic Access Control Policies via Attribute-Based Category Mining.- Towards a Certified Proof Checker for Deep Neural Network Verification.
Bibliographische Angaben
- 2023, 1st ed. 2023, XII, 211 Seiten, 11 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Robert Glück, Bishoksan Kafle
- Verlag: Springer, Berlin
- ISBN-10: 3031457838
- ISBN-13: 9783031457838
Sprache:
Englisch
Kommentar zu "Logic-Based Program Synthesis and Transformation"
0 Gebrauchte Artikel zu „Logic-Based Program Synthesis and Transformation“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic-Based Program Synthesis and Transformation".
Kommentar verfassen