Sökning: "specification languages"

Visar resultat 1 - 5 av 62 avhandlingar innehållade orden specification languages.

1. 1. Interpretive Functions of Adjectives in English : A Cognitive Approach

   Författare :Helena Frännhag; Carita Paradis; Kristin Davidse; Engelska; []
   Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; adjective; meaning; meaning creation; interpretation; formal interpretive function; semantic interpretive function; kind identification; element identification; identity provision; stipulation; specification; Languages and linguistics; Språkvetenskap; Lingvistik; Linguistics; Engelsk språkvetenskap; English; specification; stipulation; adjective; noun; meaning creation; cognitive semantics; interpretation; formal interpretive function; semantic interpretive function; kind identification; identity provision; element identification;

   Sammanfattning : This thesis presents a theoretical discussion of meaning creation in general, and interpretive functions of English adjectives in particular. The discussion rests on a dynamic view of meaning and interpretation, according to which there are no fixed linguistics meanings – not even for single lexemes. LÄS MER

3. 2. ”Kalla mig inte mamsell!” : En jämförelse av tre skandinaviska översättares behandling av kulturspecifika element i fransk- och engelskspråkig skönlitteratur

   Författare :Marcus Axelsson; Ulla Börestam; Yvonne Lindqvist; Cecilia Alvstad; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; translation; Scandinavia; Descriptive Translation Studies; culture-specific elements; translation strategies; Bourdieu; Nordiska språk; Scandinavian Languages;

   Sammanfattning : The present study deals with the work and practice of three Scandinavian translators, namely Kjell Olaf Jensen (Norwegian), Marianne Öjerskog (Swedish) and Agnete Dorph Stjernfelt (Danish). The main question of the thesis is what strategies the translators use when translating culture-specific elements from French and English. LÄS MER

4. 3. Genus im Wandel : Studien zu Genus und Animatizität anhand von Personenbezeichnungen im heutigen Deutsch mit Kontrastierungen zum Schwedischen

   Författare :Bettina Jobin; Gunnar Magnusson; Hans-Olav Enger; Damaris Nübling; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; agreement; animacy; contrastive linguistics; corpus linguistics; derivation; German; Swedish; grammatical gender; grammaticalization; inflectional morphology; language change; non-personal-agents; person reference; pronoun; Languages and linguistics; Språkvetenskap; Germanic languages; German;

   Sammanfattning : This study investigates, theoretically and empirically, the role of animacy in the development of gender systems. The theoretical background is a grammaticalisation approach to language change. LÄS MER

5. 4. Embedded Languages for Describing and Verifying Hardware

   Författare :Koen Lindström Claessen; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; specification languages; formal verification; synchronous hardware description; functional programming; embedded languages;

   Sammanfattning : Lava is a system for designing, specifying, verifying and implementing hardware. It is embedded in the functional programming language Haskell, which means that hardware descriptions are first-class objects in Haskell. LÄS MER

7. 5. Es-Clefts und det-Clefts : Zur Syntax, Semantik und Informationsstruktur von Spaltsätzen im Deutschen und Schwedischen

   Författare :Stefan Huber; Tyska; []
   Nyckelord :HUMANIORA; HUMANITIES; generative grammar; German sentence structure; Swedish sentence structure; split CP; relative clauses; expletives; extraposition; connectivity; predication; specification; identification.; topic-comment; projection of focus; background-focus; It-cleft constructions; copular constructions; pseudo-cleft constructions; German language and literatur; Tyska språk och litteratur ;

   Sammanfattning : This study investigates the syntax, semantics and information structure of it-cleft constructions in German and Swedish. The syntactic analysis is presented within a standard framework of generative theory. In defining genuine cleft constructions, both the syntactic and the semantic structures of clefts are taken into consideration. LÄS MER