Sökning: "Declarative Programming"

Visar resultat 16 - 20 av 31 avhandlingar innehållade orden Declarative Programming.

  1. 16. Extensible Compiler Construction

    Författare :Torbjörn Ekman; Institutionen för datavetenskap; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 17. Pure Functional Parsing - an advanced tutorial

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

    Sammanfattning : 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. LÄS MER

  4. 18. Applications and Extensions of Reference Attributed Grammars

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Torbjörn Ekman; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER

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

    Författare :Patrik Persson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER