Analysis, verification and transformation for declarative programming and intelligent systems essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday

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

Ausführliche Beschreibung

Bibliographische Detailangaben

Weitere Verfasser:	Lopez-Garcia, Pedro (HerausgeberIn), Gallagher, John P. (HerausgeberIn), Giacobazzi, Roberto (HerausgeberIn), Hermenegildo, Manuel V. (GefeierteR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2023
Schriftenreihe:	Lecture notes in computer science 13160
Schlagworte:	Declarative programming > Computer science > Programmation déclarative > Informatique > Festschrift > Programmierung > Logische Programmierung > Deklarative Programmierung
Online Zugang:	Full Text Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!