Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
by
Lopez-Garcia, Pedro. editor.
Title
:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author
:
Lopez-Garcia, Pedro. editor.
ISBN
:
9783031314766
Edition
:
1st ed. 2023.
Physical Description
:
XIV, 351 p. 70 illus., 26 illus. in color. online resource.
Series
:
Lecture Notes in Computer Science, 13160
Contents
:
Strategies in Conditional Narrowing Modulo SMT Plus Axioms -- Optimizing Maude Programs via Program Specialization -- Automated Synthesis of Software Contracts with KindSpec -- Abstract Interpretation of Graphs -- Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming -- Grammar Induction for Under-resourced Languages: The Case of Ch'ol -- Answer Set Programming Made Easy -- The role of Abstraction in Model Checking -- Justifications and a Reconstruction of Parity Game Solving Algorithms -- SMT-based Test-Case Generation and Validation for Programs with Complex Specifications -- Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation -- Modularization of Logic Programs -- Proof-theoretic Foundations of Normal Logic Programs -- A Discourse on Guessing and Reasoning -- Reversible Debugging in Logic Programming -- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning -- StrandSpaces with Choice via a Process Algebra Semantics.
Added Author
:
Lopez-Garcia, Pedro.
Gallagher, John P.
Giacobazzi, Roberto.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 520864-1001 | XX(520864.1) | | Elektronik Kütüphane |