Analysis, verification and transformation for declarative programming and intelligent systems : essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday / Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi, editors.
Lopez-Garcia, Pedro (Computer scientist), editor.; Gallagher, John (John P.), editor.; Giacobazzi, Roberto, editor.; Hermenegildo, Manuel, honouree.
2023
QA76.615
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Analysis, verification and transformation for declarative programming and intelligent systems : essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday / Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi, editors.
ISBN 9783031314766 (electronic bk.)
303131476X (electronic bk.)
9783031314759
3031314751
DOI https://doi.org/10.1007/978-3-031-31476-6
Published Cham : Springer, [2023]
Copyright ©2023
Language English
Description 1 online resource (xiv, 351 pages) : illustrations (some color).
Item Number 10.1007/978-3-031-31476-6 doi
Call Number QA76.615
Dewey Decimal Classification 005.13/1
Summary This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Politécnica de Madrid (UPM). He has published more than 300 scientific publications, given numerous keynotes and invited talks at major conferences, coordinated many national and international projects, and served the community in major conference roles, on journal boards, and on funding, scientific, and research committees. Among his awards are the Julio Rey Pastor prize in Mathematics and Information Science and Technology and the Aritmel prize in Computer Science; he is an elected member of the Academia Europaea; and in 2022 he was elected a Fellow of the ACM for contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute. Throughout his career Manuel has shown his amazing capacity for detailed work, thoroughness, and expert contributions, along with the interpersonal skills needed for successful collaboration, such as a positive attitude and a sense of humor. The contributions in this volume reflect the quality and the scope of his research interests and mentoring successes.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 23, 2023).
Added Author Lopez-Garcia, Pedro (Computer scientist), editor.
Gallagher, John (John P.), editor.
Giacobazzi, Roberto, editor.
Hermenegildo, Manuel, honouree.
Series Lecture notes in computer science ; 13160. 1611-3349
Available in Other Form Print version: 9783031314759
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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
Strand Spaces with Choice via a Process Algebra Semantics.

Browse Subjects

Show more subjects...

Statistics

from
to
Export