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

• Type: Conference
• Year: 2009
• Where: AAIP
• Authors: Thomas Hieber, Martin Hofmann 0008
• Keywords: AAIP 2009, Inductive Programming, Keywords Inductive Programming, Programming Languages, Simple Functional Representation