Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic-Based Program Synthesis and Transformation
  • Produktbild: Logic-Based Program Synthesis and Transformation
Band 14330

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science

Fr. 79.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.10.2023

Herausgeber

Robert Glück + weitere

Verlag

Springer

Seitenzahl

211

Maße (L/B/H)

23.5/15.5/1.3 cm

Gewicht

347 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-45783-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.10.2023

Herausgeber

Verlag

Springer

Seitenzahl

211

Maße (L/B/H)

23.5/15.5/1.3 cm

Gewicht

347 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-45783-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Logic-Based Program Synthesis and Transformation
  • Produktbild: Logic-Based Program Synthesis and Transformation
  • Keynotes.-  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.