EntityQ4117718· pop 6· linked from 228 articlesprogram synthesisSign in to savetask to construct a program that provably satisfies a given high-level formal specificationConnectionsresolutionEntityfunctional programmingEntityrecursionEntityformal verificationEntityunificationEntitySkolem normal formEntitysatisfiability modulo theoriesEntitypurely functional programmingEntitycomputer scienceEntityInternational Standard Book NumberEntityalgorithmEntitycomputer programEntityMassachusetts Institute of TechnologyEntitydigital object identifierEntityInternational Standard Serial NumberEntitysquare rootEntityobject-oriented programmingEntityUniversity of California, BerkeleyEntityUniversity of PennsylvaniaEntityBoolean algebraEntityCategoriesHarv and Sfn no-target errorsProgramming paradigms