00846cam0-22003011i-450-99000470075040332120080311132549.0000470075FED01000470075(Aleph)000470075FED0100047007519990604d1970----km-y0itay50------baitay-------001yyLucrezioAlberto GrilliMilanoLa Goliardica[stampa]1970176 p.24 cmLucrezio Caro, TitoStudi871.01Grilli,Alberto161568ITUNINARICAUNIMARCBK990004700750403321P2B-650-LUCR.-8G.A.-1970Ist.Fil.Cl.4828FLFBCP2B-650-LUCR.-8G.A.-1970 BISIst.Fil.Cl.6727FLFBCFLFBCLucrezio556146UNINA05061nam 2200457 450 99646445140331620231110220320.03-030-98869-4(MiAaPQ)EBC6921855(Au-PeEL)EBL6921855(CKB)21393292300041(PPN)261518224(EXLCZ)992139329230004120221018d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogic-based program synthesis and transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, proceedings /edited by Emanuele De Angelis, Wim VanhoofCham, Switzerland :Springer,[2022]©20221 online resource (186 pages)Lecture Notes in Computer Science ;v.13290Print version: De Angelis, Emanuele Logic-Based Program Synthesis and Transformation Cham : Springer International Publishing AG,c2022 9783030988685 Includes bibliographical references and index.Intro -- Preface -- Organization -- Contents -- String Abstract Domains and Their Combination -- 1 Introduction -- 2 Preliminaries -- 3 String Abstract Domains -- 3.1 Programming Language Agnostic String Abstract Domains -- 3.2 Language Specific String Domains -- 3.3 Regular Expression-Like Domains -- 3.4 The Class of Regular Languages as an Abstract Domain RL -- 4 Widening -- 5 Combining Domains -- 5.1 Direct Products -- 5.2 Reduced Products -- 5.3 Paraphrasing: Translating Approximate Information -- 5.4 One-on-One Paraphrasing -- 6 Reference Abstract Domains -- 7 Conclusion -- References -- Data Type Inference for Logic Programming -- 1 Introduction -- 2 Types -- 2.1 Semantics -- 2.2 Closed Types -- 3 Examples -- 4 Type System -- 5 Type Inference -- 5.1 Stratification -- 5.2 Constraints and Constraint Generation -- 5.3 Constraint Solving -- 5.4 Decidability -- 5.5 Soundness -- 6 Related Work -- 7 Final Remarks -- References -- Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines -- 1 Introduction -- 2 Interpreters and the Meta-language -- 3 Transformation -- 3.1 Administrative Normal Form -- 3.2 Control-Flow Analysis -- 3.3 Selective CPS Transformation -- 3.4 Selective Defunctionalization -- 4 Case Studies -- 5 Conclusion -- A A Primer on the Functional Correspondence -- B Normalization by Evaluation for -calculus -- References -- S-Semantics-an Example -- 1 Introduction -- 2 S-semantics -- 3 The n Queens Program -- 4 Correctness of nqueens -- 4.1 Specification for Correctness -- 4.2 Correctness Proof for nqueens -- 5 Completeness -- 5.1 Specification for Completeness -- 5.2 Completeness Proof -- 6 Comments -- 7 Summary -- References -- Disjunctive Delimited Control -- 1 Introduction -- 2 Overview and Motivation -- 2.1 Background: Conjunctive Delimited Control.2.2 Delimited Continuations with Disjunction -- 3 Meta-interpreter Semantics -- 3.1 Core Interpreter -- 4 Case Studies -- 4.1 Branch-and-Bound: Nearest Neighbour Search -- 4.2 Probabilistic Programming -- 5 Properties of the Meta-interpreter -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Towards Substructural Property-Based Testing -- 1 Introduction -- 2 A Motivating Example -- 3 A Primer on Linear Logic Programming -- 4 The Proof-Theory of PBT -- 5 Case Study -- 5.1 On Linear Encodings -- 5.2 Experimental Evaluation -- 6 Related Work and Conclusions -- References -- The Next 700 Program Transformers -- 1 Introduction -- 2 Language -- 3 Process Trees -- 4 A Hierarchy of Program Transformers -- 4.1 Level 0 Transformer -- 4.2 Level k+1 Transformers -- 5 Examples -- 6 Speedups -- 7 Termination -- 8 Related Work -- 9 Conclusion and Further Work -- References -- Representation and Processing of Instantaneous and Durative Temporal Phenomena -- 1 Introduction -- 2 Language -- 2.1 Syntax -- 2.2 Grammar -- 2.3 Semantics -- 3 Maritime Use Case Examples -- 3.1 Stopped Vessel -- 3.2 Moored Vessel -- 3.3 Vessel Trips -- 3.4 Fishing Trips -- 4 Executable Semantics -- 4.1 Stream Processing -- 4.2 Processing of Temporal Phenomena -- 5 Implementation -- 5.1 Architecture -- 5.2 Empirical Evaluation -- 6 Related Work -- 7 Summary and Future Directions -- References -- Prefix-Based Tracing in Message-Passing Concurrency -- 1 Introduction -- 2 A Message-Passing Concurrent Language -- 3 Prefix-Based Tracing Semantics -- 4 A Program Instrumentation for Prefix-Based Tracing -- 5 Concluding Remaks -- References -- Author Index.Lecture Notes in Computer Science Computer logicCongressesComputer logic005.115Vanhoof WimDe Angelis EmanueleMiAaPQMiAaPQMiAaPQBOOK996464451403316Logic-Based Program Synthesis and Transformation2914320UNISA02156nam0 2200457 i 450 VAN013396120230620095837.979N978443155534620210428d2015 |0itac50 baengJP|||| |||||Topological States on Interfaces Protected by SymmetryDoctoral Thesis accepted by Tokyo Institute of Technology, Tokyo, JapanRyuji TakahashiTokyo : Springer, 2015xii90 p.ill. ; 24 cm001VAN01041932001 Springer thesesrecognizing outstanding Ph.D. research210 BerlinSpringer2010-VAN0134582Topological States on Interfaces Protected by Symmetry177305982-XXStatistical mechanics, structure of matter [MSC 2020]VANC021931MF82D55Statistical mechanical studies of superconductors [MSC 2020]VANC022473MF82B26Phase transitions (general) in equilibrium statistical mechanics [MSC 2020]VANC023338MFChiralities of Topological InsulatorsKW:KDirac ConeKW:KGapless Topological Interface StatesKW:KMirror SymmetryKW:KSurface StatesKW:KThin Topological InsulatorsKW:KTopological InsulatorKW:KTopological InvarianceKW:KWeyl Semimetal PhaseKW:KTokyoVANL000048TakahashiRyujiVANV107724654845Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-4-431-55534-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0133961BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 2529 08eMF2529 20210428 Topological States on Interfaces Protected by Symmetry1773059UNICAMPANIA