Search results: Found 3

Listing 1 - 3 of 3
Sort by
Muße und Erzählen: ein poetologischer Zusammenhang

Author:
ISBN: 9783161543821 9783161543838 Year: DOI: 10.1628/978-3-16-154383-8 Language: German
Publisher: Mohr Siebeck Grant: Knowledge Unlatched - 103617
Added to DOAB on : 2019-01-15 13:33:09
License:

Loading...
Export citation

Choose an application

Abstract

Gibt es einen poetologischen Zusammenhang zwischen Muße und Erzählen? Thomas Klinkert untersucht dies anhand literarischer Texte in italienischer, französischer, spanischer und deutscher Sprache vom Mittelalter bis zur Gegenwart und zeigt, wie in diesen Werken das Erzählen aus Situationen der Muße heraus entfaltet und reflektiert wird.

Einführung in die grammatische Beschreibung des Deutschen. Zweite, überarbeitete Auflage

Author:
Book Series: Textbooks in Language Sciences ISBN: 9783946234944 9783946234951 9783946234968 9781537504957 Year: Pages: 613 + xi DOI: 10.17169/langsci.b101.186 Language: German
Publisher: Language Science Press
Subject: Linguistics
Added to DOAB on : 2016-11-26 11:01:06
License:

Loading...
Export citation

Choose an application

Abstract

"This textbook is an introduction to the descriptive grammar of German on the levels of phonetics, phonology, morphology, syntax, and graphemics. It is a recommended read for anyone interested in the grammar of German and especially for students of German philology. The book focuses on how grammatical generalizations are derived from concrete linguistic material while covering a huge number of the important phenomena of German grammar. No specific theoretical framework is adopted in the book but it constitutes an ideal starting point for reading more theory-specific textbooks and accessible research papers. Despite its length, the book is suitable for inclusion in all sorts of curricula, mostly because the five parts of the book can be read separately. Almost all chapters contain a large number of exercises, many of which come with solutions in the appendix. The second edition was prepared based to a large extent on reader feedback. It introduces numerous corrections and improvements. Most prominently, the chapter on phonology was completely rewritten so as to provide a better description of the relevant generalizations of German syllable structure."

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Author:
ISBN: 9783731505464 Year: Pages: XIV, 231 p. DOI: 10.5445/KSP/1000056002 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:57
License:

Loading...
Export citation

Choose an application

Abstract

In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.

Listing 1 - 3 of 3
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (1)

Language Science Press (1)

Mohr Siebeck (1)


License

CC by (1)

CC by-nc-nd (1)

CC by-sa (1)


Language

german (2)

english (1)


Year
From To Submit

2016 (3)