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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call