Sökning: "Declarative paradigms"

Hittade 3 avhandlingar innehållade orden Declarative paradigms.

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

  3. 2. Generic distribution support for programming systems

    Författare :Erik Klintskog; Seif Haridi; Peter von Roy; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; computer sicence; Datavetenskap; Computer science; Datavetenskap;

    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

  4. 3. On the role of forebrain cholinergic innervation for phencyclidine-induced behaviors and gene expression patterns

    Författare :Sophia Savage; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :;

    Sammanfattning : The basalo-cortical cholinergic innervation reaches neural targets in cortex cerebri where it modulates the incoming sensory information, regulating arousal, attention, vigilance, memory and cognition. Progressive de generation of the cholinergic neurons in the basal forebrain is considered a hallmark of Alzheimer ’s disease related to cognitive impairment in this condition. LÄS MER