Sökning: "Matthías Páll Gissurarson"

Hittade 1 avhandling innehållade orden Matthías Páll Gissurarson.

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