Logic-Based Program Synthesis and Transformation [electronic resource] : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings / edited by Juliana Bowles, Harald Søndergaard.

Colaborador(es): Bowles, Juliana [editor.] | Søndergaard, Harald [editor.] | SpringerLink (Online service)Tipo de material: TextoTextoSeries Lecture Notes in Computer Science ; 14919Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Edición: 1st ed. 2024Descripción: XVI, 241 p. 57 illus., 19 illus. in color. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783031712944Tema(s): Computer science | Computer Science Logic and Foundations of ProgrammingFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 004.0151 Clasificación LoC:QA75.5-76.95Recursos en línea: Libro electrónicoTexto
Contenidos:
-- Synthesis and Transformation. -- Parallel Assembly Synthesis. -- Improving Logic Programs by Adding Functions. -- Decision Procedures. -- Deciding Knowledge Problems Modulo Classes of Permutative Theories. -- Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae. -- Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. -- A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. -- Deployment. -- Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. -- Specification, Refactoring and Testing. -- An Axiomatic Category-Based Access Control Model for Smart Homes. -- Towards Specification-Guarded Refactoring. -- Impact and Performance of Randomized Test-Generation Using Prolog. -- Term and Graph Rewriting. -- Proving Uniqueness of Normal Forms wrt Reduction of Term Rewriting Systems. -- Rewriting Induction for Higher-Order Constrained Term Rewriting Systems. -- Introducing Quantification into a Hierarchical Graph Rewriting Language. -- Introducing Quantification into a Hierarchical Graph Rewriting Language.
En: Springer Nature eBookResumen: This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
Star ratings
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro Electrónico Biblioteca Electrónica
Colección de Libros Electrónicos 1 No para préstamo

-- Synthesis and Transformation. -- Parallel Assembly Synthesis. -- Improving Logic Programs by Adding Functions. -- Decision Procedures. -- Deciding Knowledge Problems Modulo Classes of Permutative Theories. -- Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae. -- Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. -- A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. -- Deployment. -- Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. -- Specification, Refactoring and Testing. -- An Axiomatic Category-Based Access Control Model for Smart Homes. -- Towards Specification-Guarded Refactoring. -- Impact and Performance of Randomized Test-Generation Using Prolog. -- Term and Graph Rewriting. -- Proving Uniqueness of Normal Forms wrt Reduction of Term Rewriting Systems. -- Rewriting Induction for Higher-Order Constrained Term Rewriting Systems. -- Introducing Quantification into a Hierarchical Graph Rewriting Language. -- Introducing Quantification into a Hierarchical Graph Rewriting Language.

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.

UABC ; Perpetuidad

Con tecnología Koha