Sökning: "declarative programming"
Visar resultat 16 - 20 av 31 avhandlingar innehållade orden declarative programming.
16. Extensible Compiler Construction
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
17. Pure Functional Parsing - an advanced tutorial
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
18. Applications and Extensions of Reference Attributed 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
19. Rewritable Reference Attributed Grammars - design, implementation, and applications
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
20. Predicting Time and Memory Demands of Object-Oriented Programs
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