Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Region
Erscheinungszeitraum
  • 1
    UID:
    almafu_BV014757397
    Umfang: XIII, 468 S.
    ISBN: 1-57586-386-3 , 1-57586-385-5
    Serie: Studies in constraint-based lexicalism
    Anmerkung: Includes bibliographical references and index
    Sprache: Englisch
    Fachgebiete: Germanistik
    RVK:
    RVK:
    Schlagwort(e): Deutsch ; Mehrteiliges Prädikat
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Online-Ressource
    Online-Ressource
    Berlin ; : De Gruyter Mouton,
    UID:
    almafu_9959626900602883
    Umfang: 1 online resource (XIV, 868 p.)
    ISBN: 9783110670844
    Serie: Comparative Handbooks of Linguistics [CHL] ; 6
    Inhalt: This volume provides detailed studies of the crosslinguistically unusual mermaid construction in seventeen languages of Asia, including Modern Standard Japanese, and one language of Africa. This construction appears to be absent in languages of Europe, Oceania and the Americas. The name - mermaid construction - alludes to its paradoxical make-up, where the structure closely resembling a verb-predicate clause ends with what may look like a noun-predicate clause. Superficially it looks biclausal; however, syntactically it is monoclausal. It has a compound predicate which contains an independent noun, a clitic or an affix derived from a noun, or a nominalizer. Its compound predicate has a modal, evidential, aspectual, temporal, stylistic or discourse-related meaning. The paradox is resolved from a diachronic perspective insofar as a biclausal structure is reanalyzed as a monoclausal one. This volume shows how a noun may be reanalyzed to become a constituent of a predicate. It constitutes an important contribution to research on grammaticalization and in particular, the grammaticalization of nouns and more generally, to the typology of syntactic reanalysis.
    Anmerkung: Frontmatter -- , Contents -- , Preface -- , List of authors -- , Maps -- , Genetic classification of languages examined or referred to -- , 1 Mermaid construction: An introduction and summary -- , 2 Modern Standard Japanese -- , 3 Mitsukaido dialect of Japanese -- , 4 Old and Early Middle Japanese -- , 5 Irabu Ryukyuan -- , 6 Korean -- , 7 Kolyma Yukaghir -- , 8 Sakha (Yakut) -- , 9 Khalkha Mongolian -- , 10 Amdo Tibetan -- , 11 nDrapa -- , 12 Kathmandu Newar -- , 13 Burmese -- , 14 Kurux -- , 15 Hindi -- , 16 Sidaama -- , 17 Thai -- , 18 Tagalog -- , 19 Koryak -- , Index of names -- , Index of languages -- , Index of subjects , In English.
    Weitere Ausg.: ISBN 9783110670875
    Weitere Ausg.: ISBN 9783110670806
    Sprache: Englisch
    URL: Cover
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    Adelaide :The University of Adelaide Press,
    UID:
    almahu_9947382719702882
    Umfang: 1 online resource (xix, 494 pages) : , digital, PDF file(s).
    ISBN: 9781922064592
    Inhalt: Worrorra is a highly polysynthetic language, characterised by overarching concord and a high degree of morphological fusion. Verbal semantics involve a voicing opposition and an extensive system of evidentiality-marking. Worrorra has elaborate systems of pragmatic reference, a derivational morphology that projects agreement-class concord across most lexical categories and complex predicates that incorporate one verb within another. Nouns are distributed among five genders, the intensional properties of which define dynamic oppositions between men and women on the one hand, and earth and sky on the other.
    Anmerkung: Title from publisher's bibliographic system (viewed on 02 Oct 2015). , Contents summary -- Introduction: Patsy Lulpunda, Amy Peters and Daisy Utemorrah; Geography; Worrorra society; History; How this grammar came to be written; Descriptive tools; What kind of language is Worrorra?; -- Segmental phonology -- Morphophonology -- Nouns and noun classes -- Indicative mood and basic verbal morphology -- Adjectives and inalienable nouns -- Pronouns, demonstratives, anaphors, deictics -- Optative, counterfactual and exercitive moods -- Number -- Adverbs and postpostional phrases -- Complex predicates -- Experiencer constructions -- Objects and possession -- Complement clauses -- Subjunctive verbs -- Middle voice -- Discourse cohesion -- Kinship terms -- Appendices: Texts : Amy Peters: extract from Dawarraweyi; Amy Peters: Kanunerri Warruwarlu -- Irregular verb paradigms ; Transitive verb paradigm; The role-and-reference account of predicate linkage. , Also available in print form. , English
    Weitere Ausg.: Print version: ISBN 9781922064561
    Sprache: Englisch
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Online-Ressource
    Online-Ressource
    Basel/Berlin/Boston :De Gruyter, Inc.,
    UID:
    almahu_9949761976002882
    Umfang: 1 online resource (430 pages)
    Ausgabe: 1st ed.
    ISBN: 3-11-098174-2
    Serie: The Mouton-NINJAL Library of Linguistics [MNLL] Series ; v.8
    Anmerkung: Intro -- Series preface -- Preface -- Contents -- Contributors -- Chapter 1 Formal perspectives on secondary predication - An introduction -- Chapter 2 The syntax and semantics of indirect predication in French -- Chapter 3 On the syntax of psychological expressions in Japanese: their predicative and adjunctive nature -- Chapter 4 Event lexicalization in Hungarian -- Chapter 5 Precise standards license adjectives in the English resultative construction -- Chapter 6 The syntax of resultative V-V compounds in Chinese -- Chapter 7 (Re)sultatives -- Chapter 8 On the forms of secondary predicates: A Japanese perspective -- Chapter 9 Depictive predicates with not so complex structures: An empirical argument for functional projections -- Chapter 10 Spanish depictives and aspectual consecutio in non-verbal environments -- Chapter 11 On the merger and antecedence of depictive secondary predicates -- Index.
    Weitere Ausg.: ISBN 3-11-099561-1
    Sprache: Englisch
    Schlagwort(e): Electronic books.
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    UID:
    almafu_9960119809202883
    Umfang: 1 online resource (342 pages) : , digital, PDF file(s).
    ISBN: 0-511-57068-6
    Inhalt: This collection of essays offers a conspectus of major trends in the philosophy of logic and philosophy of mathematics. A distinguished group of philosophers addresses issues at the centre of contemporary debate: semantic and set-theoretic paradoxes, the set/class distinction, foundations of set theory, mathematical intuition and many others. The volume includes Hilary Putnam's 1995 Alfred Tarski lectures.
    Anmerkung: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , Paradox revisited I: truth, Paradox revisited II: sets -- a case of all or none? / Hilary Putnam -- Truthlike and truthful operators / Arnold Koslow -- 'Everything' / Vann McGee -- On second-order logic and natural language / James Higginbotham -- The logical roots of indeterminacy / Gila Sher -- The logic of full belief / Isaac Levi -- Immediacy and the birth of reference in Kant: the case for space / Carl J. Posy -- Geometry, construction and intuition in Kant and his successors / Michael Friedman -- Parsons on mathematical intuition and obviousness / Michael D. Resnik -- Gödel and Quine on meaning and mathematics / Richard Tieszen -- Must we believe in set theory? / George Boolos -- Cantor's Grundlagen and the paradoxes of set theory / W.W. Tait -- Ferge, the natural numbers, and natural kinds / Mark Steiner -- A theory of sets and classes / Penelope Maddy -- Challenges to predicative foundations of arithmetic / Solomon Feferman and Geoffrey Hellman. , English
    Weitere Ausg.: ISBN 0-521-03825-1
    Weitere Ausg.: ISBN 0-521-65076-3
    Sprache: Englisch
    Fachgebiete: Philosophie
    RVK:
    RVK:
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Online-Ressource
    Online-Ressource
    Cham :Springer International Publishing :
    UID:
    almahu_9949449313302882
    Umfang: 1 online resource (vi, 283 pages) : , digital file(s).
    Ausgabe: 1st ed. 2016.
    ISBN: 3-319-22686-X
    Serie: Trends in Logic, Studia Logica Library, 43
    Inhalt: This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.
    Anmerkung: Bibliographic Level Mode of Issuance: Monograph , Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges -- Chapter 7. The mode of presentation; Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection; Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm -- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti -- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama. , In English.
    Weitere Ausg.: ISBN 3-319-22685-1
    Sprache: Englisch
    URL: Volltext  (kostenfrei)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    UID:
    almafu_9961060205202883
    Umfang: 1 online resource (243 pages)
    ISBN: 1-78969-822-7
    Serie: Archaeopress Egyptology ; v.36
    Inhalt: This study presents an articulated historical interpretation of Egyptian 'animal worship' from the Early Dynastic to the New Kingdom, and offers a new understanding of its chronological development through a fresh review of pertinent archaeological and textual data.
    Anmerkung: Cover -- Contents page -- Preface and Acknowledgements -- Dedication -- Abbreviations -- List of Figures -- List of Tables -- Introducing Animal Worship -- 1.1 Animal worship and ancient Egyptian religion: articulation of the problem -- 1.2 Thesis, goals, and limitations of the present study -- 1.3 History of research and status quaestionis -- 1.3.1 The memory-horizon: the role of literary tradition -- 1.3.2 The research-horizon: problems and perspectives -- 1.3.3 Animal worship: the 'Standard Model' -- Figure 1.1. Diagram illustrating the conceptual background of the Egyptological 'Standard Model' of Egyptian 'animal worship'. -- Table 1.1. 'Animal worship' and Egyptian religion according to the 'Standard Model'. -- Figure 1.2. Historical development of 'animal worship' according to the 'Standard Model'. Slightly modified from Colonna 2017: Figure 1. -- 1.4 Theory and methodology -- 1.4.1 The problem of a definition and the definition of a problem -- 1.4.2 The practical dimension: religious practice and ritual -- 1.4.3 The historical dimension: display and decorum -- 1.4.4 'Animal worship': designing an Alternative Model -- Figure 1.3. Diagram illustrating the conceptual background of the 'Alternative Model'. -- Figure 1.1. Diagram illustrating the conceptual background of the Egyptological 'Standard Model' of Egyptian 'animal worship'. -- Figure 1.2. Historical development of 'animal worship' according to the 'Standard Model'. Slightly modified from Colonna 2017: Figure 1. -- Figure 1.3. Diagram illustrating the conceptual background of the 'Alternative Model'. -- Part I Presenting the Evidence -- Part I Presenting the Evidence -- Figure 2.1. Sealing from Tomb 414, Tarkhan (Cairo JE 43798). After Petrie 1913: pl. II.4. -- The Early Dynastic -- 2.1 Royal evidence. , Figure 2.1. Sealing from Tomb 414, Tarkhan (Cairo JE 43798). After Petrie 1913: pl. II.4. -- Figure 2.2. Inscription on the Michailides Bowl. Graphic elaboration by F. Iannarilli (after Simpson 1957: fig. 2). -- Figure 2.3. Wooden label of king Aha from Umm el-Qa'ab B18/19 (Philadelphia Penn Museum E9396). After Petrie 1901: pl. X.2. -- Figure 2.4. Sealing from Tomb 3035, Saqqara. After Emery 1938: fig. 26. -- Figure 2.5. Painted limestone ostracon from Tomb 3035, Saqqara (Cairo JE 70149). Photo by A. Colonna. -- Figure 2.6. Ivory label of king Den from Umm el-Qa'ab T. After Petrie 1901: pl. VII.8. -- Figure 2.7. Wooden label of king Qaa from Umm el-Qa'ab Q (Ab K 1440). Graphic elaboration by F. Iannarilli. -- 2.2 Titles and personal names -- Table 2.1. Early Dynastic Tiernamen -- 2.3 The Classical tradition -- 2.4 Summary -- Figure 2.2. Inscription on the Michailides Bowl. Graphic elaboration by F. Iannarilli (after Simpson 1957: fig. 2). -- Figure 2.3. Wooden label of king Aha from Umm el-Qa'ab B18/19 (Philadelphia Penn Museum E9396). After Petrie 1901: pl. X.2. -- Figure 2.4. Sealing from Tomb 3035, Saqqara. After Emery 1938: fig. 26. -- Figure 2.5. Painted limestone ostracon from Tomb 3035, Saqqara (Cairo JE 70149). Photo by A. Colonna. -- Figure 2.6. Ivory label of king Den from Umm el-Qa'ab T. After Petrie 1901: pl. VII.8. -- Figure 2.7. Wooden label of king Qaa from Umm el-Qa'ab Q (Ab K 1440). Graphic elaboration by F. Iannarilli. -- The Old Kingdom -- 3.1 Royal and temple evidence -- Figure 3.1a. Relief from the Valley Temple of the Snefru's bent pyramid, Dashur. Graphic elaboration by F. Iannarilli (after Fakhry 1961, fig. 96). -- Figure 3.1b. Relief from the Valley Temple of the Snefru's bent pyramid, Dashur. Graphic elaboration by F. Iannarilli (after Schott 1972, 32). , Figure 3.2a. Block from the pyramid temple of Sahura, Abusir. After Borchardt 1913, 47. -- Figure 3.2b. Fragments from the mortuary temple of Unas, Saqqara. Graphic elaboration by F. Iannarilli (after Ćwiek 2003: fig. 76). -- Figure 3.3. Fragments from the solar temple of Niuserra, Abu Ghurob: a: visit to the chapel of the Apis bull (fr. no. 251) -- b: procession (fr. no. 252) -- c: inscription fragment (fr. no. 255). After von Bissing-Kees 1928, pl. 15. -- Figure 3.4. Hypothetical sequence of episodes according to Kees' restoration of fragments 251, 255, 255. -- Figure 3.5. 'Scene of the pelicans' (Berlin, ÄM 20037) from the so-called 'Room of the Seasons', sun-temple of Niuserra, Abu Ghurob. Graphic elaboration by F. Iannarilli. -- 3.2 Private inscriptions: titles and biographies -- Table 3.1. Old Kingdom officials and titles related to individual animals. -- Table 3.2. Old Kingdom officials and titles related to multiple animals. -- 3.2.1 Early Old Kingdom (3rd-4th dynasties) -- 3.2.2 Late Old Kingdom - Early First Intermediate Period (5th-9th dynasties) -- 3.3 Personal names -- 3.4 Funerary domains -- Table 3.3. Old Kingdom personal names incorporating Hp ('Apis'). -- Table 3.4. Old Kingdom personal names incorporating Tntt ('Tjentet-cow[s]). -- Table 3.5. Old Kingdom personal names incorporating bA ('sacred ram'). -- Table 3.6. List of domains mentioning individual animal agencies. -- 3.5 Pyramid Texts -- 3.6 Architectural evidence -- 3.7 Summary -- Figure 3.1a. Relief from the Valley Temple of the Snefru's bent pyramid, Dashur. Graphic elaboration by F. Iannarilli (after Fakhry 1961, fig. 96). -- Figure 3.1b. Relief from the Valley Temple of the Snefru's bent pyramid, Dashur. Graphic elaboration by F. Iannarilli (after Schott 1972, 32). -- Figure 3.2a. Block from the pyramid temple of Sahura, Abusir. After Borchardt 1913, 47. , Figure 3.2b. Fragments from the mortuary temple of Unas, Saqqara. Graphic elaboration by F. Iannarilli (after Ćwiek 2003: fig. 76). -- Figure 3.3. Fragments from the solar temple of Niuserra, Abu Ghurob: a: visit to the chapel of the Apis bull (fr. no. 251) -- b: procession (fr. no. 252) -- c: inscription fragment (fr. no. 255). After von Bissing-Kees 1928, pl. 15. -- Figure 3.4. Hypothetical sequence of episodes according to Kees' restoration of fragments 251, 255, 255. -- Figure 3.5. 'Scene of the pelicans' (Berlin, ÄM 20037) from the so-called 'Room of the Seasons', sun-temple of Niuserra, Abu Ghurob. Graphic elaboration by F. Iannarilli. -- From the First Intermediate Period to the Middle Kingdom -- 4.1 Titles -- 4.2 Private inscriptions -- 4.3 Personal names -- 4.4 Coffin Texts -- 4.5 Summary -- Figure 4.1. Passage of the biography of Henqu II from Tomb N67, Deir el-Gebrawi. After Davies 1902: pl. XXIV. -- Figure 4.2. Relief Relief scene from the funerary chapel (B1) of Senbi, Meir. After Blackman 1914, pl. XI. -- Fig. 4.3 Relief scene from the tomb Ukh-hotep son of Senbi (B2), Meir. After Blackman 1915, pl. XV. -- The New Kingdom -- 5.1 The Apis bull at Memphis -- 5.1.1 The Serapeum during the New Kingdom -- Figure 5.3 Wall painting from Tomb D (Horemheb) showing the Apis bull and the four sons of Horus, Saqqara. After Mariette 1857: pl. 3. -- Figure 5.4. Wall painting from Tomb G (Ramses II) showing the king and prince Khaemwaset before Apis. After Mariette 1857: pl. 8. -- Table 5.1. Conspectus of the New Kingdom burials of the Apis bulls ('Isolated Tombs' and 'Lessere Vaults'). -- Table 5.2 Main epithets and forms of predication of the Apis bull attested on the inscribed material from the New Kingdom tombs of the Serapeum. , Figure 5.1. One of the New Kingdom 'Isolated Tomb' as shown in Mariette's reconstruction. After Mariette 1882: 117, fig. 1. -- Figure 5.2 Mariettes's drawing of the Greater Vaults of the Serapeum. After Mariette 1882: 119, fig. 3. -- 5.1.2 The stelae of the Serapeum -- Table 5.3. Conspectus of the Apis stelae from the New Kingdom tombs of the Serapeum. -- Figure 5.5. Relief from the Red Chapel of Hatshepsut showing the 'Running of the Apis bull'. Graphic elaboration by F. Iannarilli. -- 5.1.3 Other attestations -- 5.2 The Mnevis bull at Heliopolis -- 5.2.1 The New Kingdom necropolis of the Mnevis bull -- Table 5.4. Conspectus of the New Kingdom burials of the Mnevis bull. -- Table 5.5. Main epithets and forms of predication of the Mnevis bull attested on the inscribed material from the New Kingdom tombs of Arab el-Tawil. -- Figure 5.6. Detail of the donation stela of Thutmosis III (Cairo JE 65830), Heliopolis (?). Graphic elaboration by F. Iannarilli (after Moursi 1987: abb. 4, taf. 9.4). -- Figure 5.7. Stela München ÄS 14000, acquired in Cairo. Graphic elaboration by F. Iannarilli (after Moursi 1983: abb. 2, taf. VI). -- 5.2.2 The stelae of the Mnevis bull -- Table 5.6. Conspectus of the Mnevis stelae from New Kingdom Heliopolis. -- 5.2.3 Other attestations -- 5.3 The 'Fish-stelae' from Mendes -- Figure 5.8. Fish stela (Field No. F 137+169), Mendes. Graphic elaboration by F. Iannarilli (after Redford 2004: pl. XXIX, CAT#425). -- Figure 5.9. Fish stela (Field No. Q 8), Mendes. Graphic elaboration by F. Iannarilli (after Redford 2004: pl. XXIX#450). -- 5.4 The fish necropolis at Gurob -- 5.5 The 'Salakhana Trove' at Asyut -- Figure 5.10. Ramesside stela Berlin 19594, Asyut. Graphic elaboration by F. Iannarilli (after Durisch 1993: fig. 2). , Figure 5.12. Ramesside stela Louvre AF 6949, Asyut. Graphic elaboration by F. Iannarilli (after Durisch 1993: fig. 1).
    Weitere Ausg.: ISBN 1-78969-821-9
    Sprache: Englisch
    Schlagwort(e): Hochschulschrift ; Hochschulschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    UID:
    almahu_9948368138502882
    Umfang: 1 online resource (XV, 772 p. 1 illus.)
    Ausgabe: 1st ed. 2020.
    ISBN: 3-030-44914-9
    Serie: Theoretical Computer Science and General Issues, 12075
    Inhalt: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. .
    Anmerkung: Intro -- ETAPS Foreword -- Preface -- Organization -- Formal Methods for Evolving Database Applications (Abstract of Keynote Talk) -- Contents -- Trace-Relating Compiler Correctness and Secure Compilation -- Introduction -- Trace-Relating Compiler Correctness -- Property Mappings -- Trace Relations and Property Mappings -- Preservation of Subset-Closed Hyperproperties -- Instances of Trace-Relating Compiler Correctness -- Undefined Behavior -- Resource Exhaustion -- Different Source and Target Values -- Abstraction Mismatches -- Trace-Relating Compilation and Noninterference Preservation -- Trace-Relating Secure Compilation -- Trace-Relating Secure Compilation: A Spectrum of Trinities -- Instance of Trace-Relating Robust Preservation of Trace Properties -- Instances of Trace-Relating Robust Preservation of Safety and Hypersafety -- Related Work -- Conclusion and Future Work -- Acknowledgements -- Bibliography -- Runners in action -- 1 Introduction -- 2 Algebraic effects, handlers, and runners -- 2.1 Algebraic effects and handlers -- 2.2 Runners -- 3 Programming with runners -- 3.1 The user and kernel monads -- 3.2 Runners as a programming construct -- 4 A calculus for programming with runners -- 4.1 Types -- 4.2 Values and computations -- 4.3 Type system -- 4.4 Equational theory -- 5 Denotational semantics -- 5.1 Semantics of types -- 5.2 Semantics of values and computations -- 5.3 Coherence, soundness, and finalisation theorems -- 6 Runners in action -- 7 Implementation -- 8 Related work -- 9 Conclusion and future work -- References -- On the Versatility of Open Logical Relations -- 1 Introduction -- 2 The Playground -- 3 A Fundamental Gap -- 4 Warming Up: A Containment Theorem -- 5 Automatic Differentiation -- 6 On Refinement Types and Local Continuity -- 6.1 A Refinement Type System Ensuring Local Continuity -- 6.2 Basic Typing Rules. , 6.3 Typing Conditionals -- 6.4 Open-logical Predicates for Refinement Types -- 7 Related Work -- 8 Conclusion and Future Work -- References -- Constructive Game Logic -- 1 Introduction -- 2 Related Work -- 3 Syntax -- 3.1 Example Games -- 4 Semantics -- 4.1 Realizers -- 4.2 Formula and Game Semantics -- 4.3 Demonic Semantics -- 5 Proof Calculus -- 6 Theory: Soundness -- 7 Operational Semantics -- 8 Theory: Constructivity -- 9 Conclusion and Future Work -- References -- Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis -- 1 Introduction -- 2 Preliminaries -- 2.1 The IFDS Framework -- 2.2 Trees and Tree Decompositions -- 3 Problem definition -- 4 Treewidth-based Data-ow Analysis -- 4.1 Preprocessing -- 4.2 Word Tricks -- 4.3 Answering Queries -- 4.4 Parallelizability and Optimality -- 5 Experimental Results -- 6 Conclusion -- References -- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- 1 Introduction -- 1.1 Correct Programs that Do Strange Things -- 1.2 Towards Simple Read-Only Specifications for Synthesis -- 1.3 Our Contributions -- 2 Program Synthesis with Read-Only Borrows -- 2.1 Basics of SSL-based Deductive Program Synthesis -- 2.2 Reducing Non-Determinism with Read-Only Annotations -- 2.3 Composing Read-Only Borrows -- 2.4 Borrow-Polymorphic Inductive Predicates -- 3 BoSSL: Borrowing Synthetic Separation Logic -- 3.1 BoSSL rules -- 3.2 Memory Model -- 3.3 Soundness -- 4 Implementation and Evaluation -- 4.1 Experimental Setup -- 4.2 Performance and Quality of the Borrowing-Aware Synthesis -- 4.3 Stronger Correctness Guarantees -- 4.4 Robustness under Synthesis Perturbations -- 5 Limitations and Discussion -- 6 Related Work -- 7 Conclusion -- References -- Soundness conditions for big-step semantics -- 1 Introduction -- 2 A meta-theory for big-step semantics -- 3 Extended semantics. , 3.1 Traces -- 3.2 Wrong -- 4 Expressing and proving soundness -- 4.1 Expressing soundness -- 4.2 Conditions ensuring soundness-must -- 4.3 Conditions ensuring soundness-may -- 5 Examples -- 5.1 Simply-typed -calculus with recursive types -- 5.2 MiniFJ& -- -λ -- 5.3 Intersection and union types -- 5.4 MiniFJ& -- O -- 6 The partial evaluation construction -- 7 Related work -- 8 Conclusion and future work -- Acknowledgments -- References -- Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap -- 1 Introduction -- 1.1 Examples -- 1.2 Generalizing the Approach -- 2 A-Normal Form λ- Calculus -- 3 Background -- 3.1 Semantic Domains -- 3.2 Concrete Semantics -- 3.3 Abstracting Abstract Machines with Garbage Collection -- 3.4 Stack-Precise CFA with Garbage Collection -- 3.5 The k-CFA Context Abstraction -- 4 From Threaded to Compositional Stores -- 4.1 Threaded-Store Semantics -- 4.2 Threaded-Store Semantics with Effect Log -- 4.3 Compositional-Store Semantics -- 4.4 Compositional-Store Semantics with Garbage Collection -- 5 Abstract Compositional-Store Semantics with Garbage Collection -- 6 Discussion -- 6.1 The Effects of Treating the Store Compositionally -- 6.2 The Effect of Treating the Time Compositionally -- 7 Related Work -- 8 Conclusion and Future Work -- References -- SMT-Friendly Formalization of the Solidity Memory Model -- 1 Introduction -- 2 Background -- 2.1 Ethereum -- 2.2 Solidity -- 2.3 SMT-Based Programs -- 3 Formalization -- 3.1 Types -- 3.2 Local Storage Pointers -- 3.3 Contracts, State Variables, Functions -- 3.4 Statements -- 3.5 Assignments -- 3.6 Expressions -- 4 Evaluation -- 5 Related Work -- 6 Conclusion -- References -- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types -- 1 Introduction -- 2 Overview of our Approach -- 3 An MPST Theory with +, ∃, and ll. , 3.1 Types as Process Algebraic Terms -- 3.2 Global Types and Local Types -- 3.3 End-Point Projection: from Global Types to Local Types -- 3.4 Weak Bisimilarity of Global Types, Local Types, and Groups -- 3.5 Well-formedness of Global Types -- 3.6 Correctness of Projection under Well-Formedness -- 3.7 Decidability of Checking Well-Formedness -- 3.8 Discussion of Challenges -- 4 Practical Experience with the Theory -- 4.1 Implementation -- 4.2 Evaluation of the Approach -- 5 Related Work -- 6 Conclusion -- References -- Verifying Visibility-Based Weak Consistency -- 1 Introduction -- 2 Weak Consistency -- 2.1 Weak-Visibility Specifications -- 2.2 Consistency against Weak-Visibility Specifications -- 3 Establishing Consistency with Forward Simulation -- 3.1 Reducing Consistency to Safety Verification -- 3.2 Verifying Implementations -- 4 Proof Methodology -- 5 Implementation and Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- A Appendix: Proofs to Theorems and Lemmas -- References -- Local Reasoning for Global Graph Properties -- 1 Introduction -- 2 The Foundational Flow Framework -- 2.1 Preliminaries and Notation -- 2.2 Flows -- 2.3 Flow Graph Composition and Abstraction -- 3 Proof Technique -- 3.1 Encoding Flow-based Proofs in SL -- 3.2 Proof of the PIP -- 4 Advanced Flow Reasoning and the Harris List -- 4.1 The Harris List Algorithm -- 4.2 Product Flows for Reasoning about Overlays -- 4.3 Contextual Extensions and the Replacement Theorem -- 4.4 Existence and Uniqueness of Flows -- 4.5 Proof of the Harris List -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems -- 1 Introduction -- 2 The Core Concepts of Aneris -- 2.1 Local and Thread-Local Reasoning -- 2.2 Node-Local Reasoning -- 2.3 Example: An Addition Service -- 2.4 Example: A Lock Server. , 3 AnerisLang -- 4 The Aneris Logic -- 4.1 The Program Logic -- 4.2 Adequacy for Aneris -- 5 Case Study 1: A Load Balancer -- 6 Case Study 2: Two-Phase Commit -- 6.1 A Replicated Log -- 7 Related Work -- 8 Conclusion -- Acknowledgments -- Bibliography -- Continualization of Probabilistic Programs With Correction -- 1 Introduction -- 2 Example -- 2.1 Continualization -- 2.2 Parameter Synthesis -- 2.3 Improving Inference -- 3 Syntax and Semantics of Programs -- 3.1 Source Language Syntax -- 3.2 Semantics -- 4 Continualizing Probabilistic Programs -- 4.1 Overview of the Algorithm -- 4.2 Distribution and Expression Transformations -- 4.3 Inuence Analysis and Control-Flow Correction of Predicates -- 4.4 Bringing it all together: Full Program Transformations -- 5 Synthesis of Continuity Correction Parameters -- 5.1 Optimization Framework -- 5.2 Optimization Algorithm -- 6 Methodology -- 6.1 Benchmarks -- 6.2 Experimental Setup -- 7 Evaluation -- 7.1 RQ1: Benefits of Continualization -- 7.2 RQ2: Impact of Smoothing Factors -- 7.3 RQ3: Extending Results to Other Systems -- 8 Related Work -- 9 Conclusion -- References -- Semantic Foundations for Deterministic Dataflow and Stream Processing -- 1 Introduction -- 2 Monoids as Types for Streams -- 3 Stream Transductions -- 4 Model of Computation -- 5 Combinators for Deterministic Dataow -- 6 Algebraic Reasoning for Optimizing Transformations -- 7 Related Work -- 8 Conclusion -- References -- Connecting Higher-Order Separation Logic to a First-Order Outside World -- 1 Introduction -- 2 Background: Ghost State in Separation Logic -- 2.1 Ghost Algebras -- 3 External State as Ghost State -- 4 Verifying C Programs with I/O in VST -- 5 Soundness of External-State Reasoning -- 6 Connecting VST to CertiKOS -- 6.1 CertiKOS Specifications -- 6.2 Relating OS and User State -- 6.3 Soundness of VST + CertiKOS. , 7 From syscall-level to hardware-level interactions. , English
    Weitere Ausg.: ISBN 3-030-44913-0
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Buch
    Buch
    Cambridge [u.a.] :Cambridge Univ. Pr.,
    UID:
    almafu_BV011220215
    Umfang: X, 318 S. : graph. Darst.
    Ausgabe: 1. publ.
    ISBN: 0-521-56233-3
    Serie: Cambridge studies in linguistics 80
    Inhalt: One of the basic premises of the theory of syntax is that clause structures can be minimally identified as containing a verb phrase, playing the role of predicate, and a noun phrase, playing the role of subject. In this study Andrea Moro identifies a new category of copular sentences, namely inverse copular sentences, where the noun phrase which co-occurs with the verb phrase plays the role of predicate, occupying the position which is canonically reserved for subjects, and the subject is embedded in the verb phrase
    Inhalt: The consequences of such a discovery are pervasive. Four distinct areas of syntax are unified into a unique natural class. Along with inverse copular sentences, existential sentences, sentences with seem and unaccusative constructions are analysed as involving the raising of a predicative noun phrase to the most prominent position in the clause structure. In addition, new light is shed on some classical issues such as the distribution and nature of expletives, locality theory, cliticization phenomena, possessive constructions and the cross-linguistic variations of the Definiteness Effect
    Sprache: Englisch
    Fachgebiete: Komparatistik. Außereuropäische Sprachen/Literaturen
    RVK:
    RVK:
    Schlagwort(e): Raising ; Prädikat ; Nominalphrase ; Raising ; Nominalphrase
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    UID:
    almafu_BV023569656
    Umfang: IV, 221 S. : graph. Darst. ; 30 cm.
    Serie: ZAS papers in linguistics Vol. 22
    Anmerkung: Literaturangaben
    Sprache: Englisch
    Fachgebiete: Komparatistik. Außereuropäische Sprachen/Literaturen
    RVK:
    Schlagwort(e): Prädikation ; Thematische Relation ; Konferenzschrift ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz