Sökning: "Declarative object-oriented programming"
Visar resultat 1 - 5 av 10 avhandlingar innehållade orden Declarative object-oriented programming.
1. Object-Oriented Declarative Program Analysis
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
2. Debugging and Structural Analysis of Declarative Equation-Based Languages
Sammanfattning : 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. LÄS MER
3. 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
4. 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
5. Generic distribution support for programming systems
Sammanfattning : 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. LÄS MER