Sökning: "Sólrún Einarsdóttir"

Hittade 1 avhandling innehållade orden Sólrún Einarsdóttir.

1. 1. Theory Exploration for Programs and Proofs

   Författare :Sólrún Einarsdóttir; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

   Sammanfattning : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. LÄS MER