Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / Robert Glück, Bishoksan Kafle, editors.
LOPSTR (Symposium) (33rd : 2023 : Cascais, Portugal); Glück, R. (Robert), 1961- editor. Ritter von, 1714-1787. Iphigénie en Aulide; Kafle, Bishoksan, editor.
2023
QA76.63 .L66 2023
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / Robert Glück, Bishoksan Kafle, editors.
Meeting Name LOPSTR (Symposium) (33rd : 2023 : Cascais, Portugal)
ISBN 9783031457845 (electronic bk.)
3031457846 (electronic bk.)
9783031457838 (print)
3031457838
DOI https://doi.org/10.1007/978-3-031-45784-5
Published Cham, Switzerland : Springer, 2023.
Language English
Description 1 online resource (xii, 211 pages) : illustrations (some color).
Other Standard Identifiers 10.1007/978-3-031-45784-5 doi
Call Number QA76.63 .L66 2023
Dewey Decimal Classification 005.1/15
Summary 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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 18, 2023).
Added Author Glück, R. (Robert), 1961- editor. Ritter von, 1714-1787. Iphigénie en Aulide
Kafle, Bishoksan, editor.
Series Lecture notes in computer science ; 14330. 1611-3349
Available in Other Form Print version: 9783031457838
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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 for systematic 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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export