Search for dissertations about: "partial and total languages"

Showing result 1 - 5 of 8 swedish dissertations containing the words partial and total languages.

2. 1. Comparative Etymological Studies in the Western Neo-Syriac (Turoyo) Lexicon : With Special Reference to Homonyms, Related Words and Borrowings with Cultural Signification

   Author : Aziz Tezel; Bo Isaksson; Jan Retsö; Uppsala universitet; []
   Keywords : HUMANIORA; HUMANITIES; Semitic languages - general; Etymology; verbal root; verbal stem; radicals; homonyms; borrowing; assimilation; dissimilation.; Semitiska språk - allmänt; Semitic languages; Semitiska språk; semitiska språk; Semitic Languages;

   Abstract : This is a comparative study of words presenting etymological problems in the Western Neo-Syriac (Turoyo) lexicon, with the principal aim of providing new etymological solutions and suggestions and giving an account of the most common linguistic processes by which various changes are carried out in the individual words studied. For the first time all important homonyms in this language are investigated with regard to their origin and use. READ MORE

4. 2. Strong Partial Clones and the Complexity of Constraint Satisfaction Problems : Limitations and Applications

   Author : Victor Lagerkvist; Peter Jonsson; Christer Bäckström; Nadia Creignou; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : In this thesis we study the worst-case time complexity of the constraint satisfaction problem parameterized by a constraint language (CSP(S)), which is the problem of determining whether a conjunctive formula over S has a model. To study the complexity of CSP(S) we borrow methods from universal algebra. READ MORE

5. 3. Functional Program Correctness Through Types

   Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

   Abstract : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. READ MORE

6. 4. The Treatment of Polymorphism and Modules in a Partial Evaluator

   Author : Rogardt Heldal; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; modules; partial evaluation; separate compilation; compiler generator; functional programming; binding-time analyser; polymorphic types;

   Abstract : In this thesis we study aspects of specialisation by partial evaluation and compiler generation. After significant research during the last two decades, there are now powerful specialisers for several programming languages, such as LISP, Scheme, ML, and C. But some features of programming languages are still not handled by specialisers. READ MORE

7. 5. International and export behavior of firms : a critical review and empirical assessment

   Author : Dafnis Coudounaris; Arthur Money; Luleå tekniska universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Industriell marknadsföring; Industrial Marketing;

   Abstract : The current thesis examines exporting as a leading discipline in International Business and sheds light into various exporting issues which have not been thoroughly investigated in the past. The thesis is divided into two parts. The first part includes two studies based on literature review, specifically on International Management and Exporting. READ MORE