Program synthesis from domain specific object models

Program synthesis from domain specific object models

Automatically generating a program from its specification eliminates a large source of errors that is often unavoidable in a manual approach. While a general purpose code generator is impossible to build, it is possible to build a practical code generator for a specific domain. This thesis investiga...

Full description

Bibliographic Details
Main Author: Faitelson, David
Other Authors: Davies, Jim
Published: University of Oxford 2008
Subjects:
005.1
Computer science (mathematics) : Program development and tools : Software engineering : Theory and automated verification : refinement : code generation : program synthesis : model driven development : Booster
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.489437

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.489437

Similar Items