Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / / edited by Emanuele De Angelis, Wim Vanhoof
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / / edited by Emanuele De Angelis, Wim Vanhoof
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Edizione: | 1st ed. 2022. |
| Descrizione fisica: | 1 online resource (186 pages) |
| Disciplina: | 005.115 |
| Soggetto topico: | Computer science |
| Machine theory | |
| Computer networks | |
| Software engineering | |
| Artificial intelligence | |
| Computer Science Logic and Foundations of Programming | |
| Formal Languages and Automata Theory | |
| Computer Communication Networks | |
| Software Engineering | |
| Artificial Intelligence | |
| Persona (resp. second.): | VanhoofWim |
| De AngelisEmanuele | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming -- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines -- S-semantics - an Example -- Disjunctive Delimited Control -- Towards Substructural Property-Based Testing -- The Next 700 Program Transformers -- Representation and Processing of Instantaneous and Durative Temporal Phenomena -- Pre x-Based Tracing in Message-Passing Concurrency. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic. |
| Titolo autorizzato: | Logic-Based Program Synthesis and Transformation |
| ISBN: | 3-030-98869-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910552718503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 13290