Sökning: "Program Synthesis"

Visar resultat 1 - 5 av 71 avhandlingar innehållade orden Program Synthesis.

1. 1. ProGram : a grammar-based method for specification and hardware synthesis of communication protocols

   Författare :Johnny Öberg; KTH; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

3. 2. Representation of Compositional Relational Programs

   Författare :Görkem Paçacı; Andreas Hamfelt; Alberto Pettorossi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Programming; Syntax; Logic Programming; Combilog; CombInduce; Prolog; Variable-free; Point-free; Tacit; Compositional Relational Programming; Combinatory Logic; Predicate-Functor Logic; Program Synthesis; Meta-interpreters; Meta-interpretative Synthesis; Decompositional Synthesis; Inductive Synthesis; Inductive Logic Programming; Usability; Cognitive Dimensions of Notations; Visual Variables; Usability testing; Programming Language usability; Empirical evidence; Informationssystem; Information Systems;

   Sammanfattning : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. LÄS MER

4. 3. The Hole Story: Type-Directed Synthesis and Repair

   Författare :Matthías Páll Gissurarson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Types; Security; Program Repair; Compilers; Program Synthesis;

   Sammanfattning : Modern programs in languages like Haskell include a lot of information beyond what is strictly required for compilation, such as additional type information, unit tests and properties. This information is often used for post-compilation verification, by running the tests to verify that the code-as-written matches the specification provided by the types and properties. LÄS MER

5. 4. Runtime Service Composition via Logic-Based Program Synthesis

   Författare :Sven Lämmermann; KTH; []
   Nyckelord :service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

   Sammanfattning : .... LÄS MER

7. 5. Synthesis and analysis of carbohydrates related to bacterial polysaccharides

   Författare :Hani Mobarak; Göran Widmalm; Ulf Nilsson; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; carbohydrates; synthesis; conformation; NMR; O-antigen; computer-assisted structure elucidation; Organic Chemistry; organisk kemi;

   Sammanfattning : The outer surface of bacteria is composed of around 75% carbohydrates, which are vital for the bacteria to survive and communicate with the host biological system. The thesis discusses different properties of carbohydrates that are essential for understanding the bacterial behavior in biological systems. LÄS MER