Search for dissertations about: "Declarative Programming"

Showing result 16 - 20 of 31 swedish dissertations containing the words Declarative Programming.

2. 16. Extensible Compiler Construction

   Author : Torbjörn Ekman; Institutionen för datavetenskap; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; numerical analysis; Computer science; attribute grammars; extensible compilers; context-sensitive transformations; declarative object-oriented programming; kontroll; system; numerisk analys; Datalogi; control; systems;

   Abstract : Processing of programs is a core area in computer science. A compiler that translates source text to machine language is the most well-known kind of tool in this area, but there are numerous other kinds of related applications: source-to-source translators, refactoring tools, reengineering tools, metrics tools, consistency checkers, etc. READ MORE

4. 17. Pure Functional Parsing - an advanced tutorial

   Author : Peter Ljunglöf; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; context-free grammars; parsing algorithms; parser combinators; functional programming;

   Abstract : Parsing is the problem of deciding whether a sequence of tokens is recognized by a given grammar, and in that case returning the grammatical structure of the sequence. This thesis investigates di erent aspects of the parsing problem from the viewpoint of a functional programmer. READ MORE

5. 18. Applications and Extensions of Reference Attributed Grammars

   Author : Eva Magnusson; Institutionen för datavetenskap; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; aspect-oriented compiler construction; reference attributes; fixed-point computations; Attribute grammars;

   Abstract : Programming languages are the main tools used to describe models of the real world and algorithms which manipulate these models. Over time much effort has been devoted to the task of making programming languages more high-level by enhancing their expressiveness, bringing it closer to the way the programmer thinks and reasons. READ MORE

6. 19. Rewritable Reference Attributed Grammars - design, implementation, and applications

   Author : Torbjörn Ekman; Institutionen för datavetenskap; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis presents an object-oriented technique for rewriting abstract syntax trees in order to simplify compilation. The technique, Rewritable Reference Attributed Grammars (ReRAGs), is completely declarative and supports both rewrites and computations by means of attributes. READ MORE

7. 20. Predicting Time and Memory Demands of Object-Oriented Programs

   Author : Patrik Persson; Institutionen för datavetenskap; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Embedded computer systems are subject to a multitude of requirements. These include real-time requirements, that is, such computers must respond to external events within limited time. Many systems, such as satellites and telephone switches, must also operate unattended for long periods of time. They must not fail due to defective software. READ MORE