Sökning: "Reference Attribute Grammars"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden Reference Attribute Grammars.

  1. 1. 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

  3. 2. 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

  4. 3. Object-Oriented Declarative Program Analysis

    Författare :Eva Magnusson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; numerisk analys; Datalogi; control; systems; numerical analysis; Declarative object-oriented programming; attribute grammars; fixed-point computations; Computer science; cross references; system; kontroll;

    Sammanfattning : This thesis deals with techniques for raising the programming level for a particular kind of computations, namely those on abstract syntax trees. Such computations are central in many program analysis tools, such as compilers, smart language-sensitive editors, and static analysis tools. LÄS MER

  5. 4. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

    Författare :Idriss Riouak; Programvaruteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

    Sammanfattning : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. LÄS MER

  7. 5. Towards the Humanisation of Programming Tool Interactions

    Författare :Alan McCabe; Programvaruteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Reference Attribute Grammars; Human Computer Interaction; Static program analysis; Eye tracking; User Studies;

    Sammanfattning : Program analysis tools, from simple static semantic analysis by a compiler, to complex dynamic analyses of data flow and security, have become commonplace in modern day programming. Many of the simpler analyses, such as the afore- mentioned compiler checking or linters designed to enforce code style, may even go unnoticed or unconsidered by most users, ubiquitous as they are. LÄS MER