Imagem da capa

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /

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...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Bowles, Juliana (Editor), Søndergaard, Harald (Editor)
Formato: Recurso Eletrônico livro eletrônico
Idioma:inglês
Publicado em: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edição:1st ed. 2024.
coleção:Lecture Notes in Computer Science, 14919
Assuntos:
Computer science.
Computer Science Logic and Foundations of Programming.
Acesso em linha:https://doi.org/10.1007/978-3-031-71294-4
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Sumário:
  • -- 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.

Registros relacionados