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).
Item Number
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