Search for dissertations about: "declarative object-oriented programming"

Showing result 1 - 5 of 8 swedish dissertations containing the words declarative object-oriented programming.

  1. 1. Object-Oriented Declarative Program Analysis

    University dissertation from Department of Computer Science, Lund University

    Author : Eva Magnusson; Lunds universitet.; Lund University.; [2007]
    Keywords : 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;

    Abstract : 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. READ MORE

  2. 2. Debugging and Structural Analysis of Declarative Equation-Based Languages

    University dissertation from Institutionen för datavetenskap

    Author : Peter Bunus; Linköpings universitet.; Linköpings universitet.; [2002]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Abstract : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. READ MORE

  3. 3. Predicting Time and Memory Demands of Object-Oriented Programs

    University dissertation from Institutionen för datavetenskap

    Author : Patrik Persson; Lunds universitet.; Lund University.; [2000-04-12]
    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

  4. 4. Extensible Compiler Construction

    University dissertation from Department of Computer Science, Lund University

    Author : Torbjörn Ekman; Lunds universitet.; Lund University.; [2006]
    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 : Popular Abstract in Swedish Automatisk analys av programkod är ett kärnområde inom datavetenskap. Det mest typiska verktyget inom detta område är en kompilator som översätter källkod till maskinkod, men det finns många likartade verktyg, exempelvis översättning mellan språkdialekter, kontroll av kodkonventioner samt automatisk omstrukturering av kod. READ MORE

  5. 5. Generic distribution support for programming systems

    University dissertation from Stockholm : KTH

    Author : Erik Klintskog; KTH.; SICS.; [2005]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Datavetenskap; computer sicence; Datavetenskap;

    Abstract : This dissertation provides constructive proof, through the implementation of a middleware, that distribution transparency is practical, generic, and extensible. Fault tolerant distributed services can be developed by using the failure detection abilities of the middleware. READ MORE