Sökning: "regular expressions"

Visar resultat 1 - 5 av 19 avhandlingar innehållade orden regular expressions.

  1. 1. Complexities of Order-Related Formal Language Extensions

    Författare :Martin Berglund; Frank Drewes; Henrik Björklund; Markus Holzer; Umeå universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; complexity; automata; languages; order; shuffle; regular expressions; context-free; mildly context-sensitive; parsing; membership; algorithm analysis; Computer Science; datalogi;

    Sammanfattning : The work presented in this thesis discusses various formal language formalisms that extend classical formalisms like regular expressions and context-free grammars with additional abilities, most relating to order. This is done while focusing on the impact these extensions have on the efficiency of parsing the languages generated. LÄS MER

  2. 2. Programming Language Design - Issues in Web Programming and Security

    Författare :Niklas Broberg; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation; calculus;

    Sammanfattning : This thesis consists of two separate parts. Both concern programming language design, the first in the domain of web programming and the other for security. LÄS MER

  3. 3. Svenska partikelverb med in, ut, upp och ner : En semantisk studie ur kognitivt perspektiv

    Författare :Elzbieta Strzelecka; Mats Thelander; Lena Ekberg; Staffan Hellberg; Uppsala universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Scandinavian languages - general; Swedish; verbal particle; phrasal verbs; spatial expressons; polysemy; vertical axis; container; metaphor; metonymy; cognitive semantics; Nordiska språk - allmänt; Scandinavian languages; Nordiska språk; verb particle; phrasal verb; spatial expressions; image schemas; cognitive lingusitics;

    Sammanfattning : In this dissertation, the meanings of the Swedish particles in ‘in’, ut ‘out’, upp ‘up’ and ner ‘down’ are analysed when these words function as verbal particles and thereby, together with the verb, build phrasal verbs. The analysis, primarily based on cognitive semantics, includes semantically regular as well as lexicalised phrasal verbs, and seeks to explain the polysemy of the particles. LÄS MER

  4. 4. Verifying Absence of ∞ Loops in Parameterized Protocols

    Författare :Mayank Saksena; Bengt Jonsson; Ahmed Bouajjani; Uppsala universitet; []
    Nyckelord :formal methods; verification; model checking; infinite-state systems; regular model checking; liveness; graph transformation;

    Sammanfattning : The complex behavior of computer systems offers many challenges for formal verification. The analysis quickly becomes difficult as the number of participating processes increases. A parameterized system is a family of systems parameterized on a number n, typically representing the number of participating processes. LÄS MER

  5. 5. "Den Evangeliska Mariavägen till enhet" : En studie av Paulina Mariadotters spiritualitet

    Författare :Birgitta Laghé; Sven-Erik Brodd; Yvonne Maria Werner; Uppsala universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Church studies; spirituality; mystic; prophetic; small tradition ; great tradition ; Mary; regular religious life; monastic life; Kyrkovetenskap; Church studies; Kyrkovetenskap;

    Sammanfattning : The dissertation deals with the mid-twentieth century development of regulated religious life in the Church of Sweden and how this was expressed in the Congregation of the Daughters of Mary of the Evangelical Way of Mary. It focuses on the foundress’ spirituality and the importance of this for the shaping of monastic life, as well as on the significance of mystic and prophetic experience for that spirituality. LÄS MER