Sökning: "Datalogi numerisk analys control systems numerical analysis Declarative object-oriented programming attribute grammars fixed-point computations Computer science cross references system kontroll"

Hittade 1 avhandling innehållade orden Datalogi numerisk analys control systems numerical analysis Declarative object-oriented programming attribute grammars fixed-point computations Computer science cross references system kontroll.

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