001468063 000__ 05468cam\\2200673\i\4500
001468063 001__ 1468063
001468063 003__ OCoLC
001468063 005__ 20230707003352.0
001468063 006__ m\\\\\o\\d\\\\\\\\
001468063 007__ cr\cn\nnnunnun
001468063 008__ 230523s2023\\\\sz\a\\\\o\\\\\011\0\eng\d
001468063 019__ $$a1379427146$$a1379439950
001468063 020__ $$a9783031314766$$q(electronic bk.)
001468063 020__ $$a303131476X$$q(electronic bk.)
001468063 020__ $$z9783031314759
001468063 020__ $$z3031314751
001468063 0247_ $$a10.1007/978-3-031-31476-6$$2doi
001468063 035__ $$aSP(OCoLC)1379802533
001468063 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP
001468063 049__ $$aISEA
001468063 050_4 $$aQA76.615
001468063 08204 $$a005.13/1$$223/eng/20230523
001468063 24500 $$aAnalysis, verification and transformation for declarative programming and intelligent systems :$$bessays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /$$cPedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi, editors.
001468063 264_1 $$aCham :$$bSpringer,$$c[2023]
001468063 264_4 $$c©2023
001468063 300__ $$a1 online resource (xiv, 351 pages) :$$billustrations (some color).
001468063 336__ $$atext$$btxt$$2rdacontent
001468063 337__ $$acomputer$$bc$$2rdamedia
001468063 338__ $$aonline resource$$bcr$$2rdacarrier
001468063 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13160
001468063 500__ $$aIncludes author index.
001468063 5050_ $$aStrategies 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.
001468063 506__ $$aAccess limited to authorized users.
001468063 520__ $$aThis 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.
001468063 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 23, 2023).
001468063 650_0 $$aDeclarative programming.
001468063 650_0 $$aComputer science.
001468063 655_7 $$aFestschriften.$$2lcgft
001468063 655_0 $$aElectronic books.
001468063 7001_ $$aLopez-Garcia, Pedro$$c(Computer scientist),$$eeditor.
001468063 7001_ $$aGallagher, John$$q(John P.),$$eeditor.
001468063 7001_ $$aGiacobazzi, Roberto,$$eeditor.$$1https://isni.org/isni/0000000044747801
001468063 7001_ $$aHermenegildo, Manuel,$$ehonouree.$$1https://isni.org/isni/0000000116071063
001468063 77608 $$iPrint version: $$z3031314751$$z9783031314759$$w(OCoLC)1373931050
001468063 830_0 $$aLecture notes in computer science ;$$v13160.$$x1611-3349
001468063 852__ $$bebk
001468063 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-31476-6$$zOnline Access$$91397441.1
001468063 909CO $$ooai:library.usi.edu:1468063$$pGLOBAL_SET
001468063 980__ $$aBIB
001468063 980__ $$aEBOOK
001468063 982__ $$aEbook
001468063 983__ $$aOnline
001468063 994__ $$a92$$bISE