Abstract
Research at the intersection of artificial intelligence and software engineering is important to both AI researchers and software engineers. For AI, programming is a domain that stimulates research in knowledge representation and automated reasoning. In software engineering, AI techniques are being applied to a new generation of programming tools. This book covers a wide spectrum of work in this area. Some of the topics covered include deductive synthesis, program verification, and transformational approaches.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have