Sciweavers

Share
AAIP
2009

Automated Method Induction: Functional Goes Object Oriented

10 years 4 months ago
Automated Method Induction: Functional Goes Object Oriented
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed and implemented - object orientation. Today it is a standard to have UML diagrams automatically translated into program code wherever possible. However, as few tools really go beyond this we demonstrate a simple functional representation for objects, methods and variables. In addition we show how our inductive programming system Igor can not only understand those basic notions like referencing methods within objects or using a simple protocol like something we called message-passing, but how it can even learn them by a given specification - which is the major feature of this paper. Keywords Inductive Programming, Object Oriented Programming, Igor, Maude, Java, Recursion
Thomas Hieber, Martin Hofmann 0008
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2009
Where AAIP
Authors Thomas Hieber, Martin Hofmann 0008
Comments (0)
books