Genetic Programming $$\varvec{+}$$+ Proof Search $$\varvec{=}$$= Automatic Improvement
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9409-5
Abstract: Search Based Software Engineering techniques are emerging as important tools for software maintenance. Foremost among these is Genetic Improvement, which has historically applied the stochastic techniques of Genetic Programming to optimize pre-existing program code. Previous… read more here.
Keywords: improvement; genetic programming; search; proof search ... See more keywords
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
Sign Up to like & getrecommendations! Published in 2018 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129518000099
Abstract: A new approach to inhabitation problems in simply typed lambda-calculus is shown, dealing with both decision and counting problems. This approach works by exploiting a representation of the search space generated by a given inhabitation… read more here.
Keywords: inhabitation; lambda calculus; search; proof search ... See more keywords