Sökning: "declarative control"

Visar resultat 1 - 5 av 18 avhandlingar innehållade orden declarative control.

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

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

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

5. 4. Cyber-Physical Engineering of Distributed Automation Systems in Energy Domain

   Författare :Chen-Wei Yang; Valeriy Vyatkin; Evgeny Osipov; Nirmal Nair; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : The main focus of this thesis is in the domain of Energy Systems, specifically in the engi-neering of modern Smart Grid (SG) automation systems. The SG has been categorizedas a Cyber-Physical System (CPS), a complex system which exhibits tight integration between the cyber and the physical processes and their interactions in a networked envi-ronment. LÄS MER

7. 5. "Warum klingt das nicht deutsch?" : Probleme der Informationsstrukturierung in deutschen Texten schwedischer Schüler und Studenten

   Författare :Christina Rosén; Tyska; []
   Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; Linguistics; foreign language; information structure; L2 German; cross-linguistic; transfer; discourse; thematic progression; language-specific; prefield; Vorfeld; second language acquisition; coherence; declarative; V2; SOV; written production; SVO; topic; L1 Swedish; Allmän språkvetenskap Lingvistik; German language and literatur; Tyska språk och litteratur ; information structure; Languages and linguistics; Tyska;

   Sammanfattning : This thesis deals with the information-structural problems native speakers of Swedish have when producing texts in German as their second or foreign language (L2). The study is based on written production data from Swedish learners of German at the initial state (14-year-olds), at intermediate level (16-year-olds) and at advanced level (20-25-year-olds). LÄS MER