program synthesis
Sign in to savetask to construct a program that provably satisfies a given high-level formal specification
Connections
resolution
Entity
functional programming
Entity
recursion
Entity
formal verification
Entity
unification
Entity
Skolem normal form
Entity
satisfiability modulo theories
Entity
purely functional programming
Entity
computer science
Entity
International Standard Book Number
Entity
algorithm
Entity
computer program
Entity
Massachusetts Institute of Technology
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
square root
Entity
object-oriented programming
Entity
University of California, Berkeley
Entity
University of Pennsylvania
Entity
Boolean algebra
Entity