Automatic Generation of Implementations For Object-Oriented Abstractions

Simple item page
dc.contributor.authorYi, Qing
dc.contributor.authorNiu, Jianwei
dc.contributor.authorAncha, Anitha
dc.contributor.authorLakshmipathy, Jeyashree
dc.date.accessioned2023-10-25T14:47:50Z
dc.date.available2023-10-25T14:47:50Z
dc.date.issued2009-05
dc.description.abstractWe present a general-purpose code transformation system, the POET system, for the purpose of automatic code generation from high-level behavior specifications of object-oriented abstractions to low-level efficient implementations in C++ and Java. In particular, we have developed an extended finite-state-machine-based language, iFSM, which models the behavior logic together with implementation details of arbitrary OO abstractions. We then use the POET system to automatically translate the behavior specifications to type-safe OO implementations in Java or C++. Finally, we use the POET system to automatically translate the behavior specifications to the input language of a model-checker (NuSMV) and apply model checking to validate the correctness of the specification. If the iFSM specification is correct, our approach can always generate a correct and type-safe implementation.
dc.description.departmentComputer Science
dc.identifier.urihttps://hdl.handle.net/20.500.12588/2153
dc.language.isoen_US
dc.publisherUTSA Department of Computer Science
dc.relation.ispartofseriesTechnical Report; CS-TR-2009-003
dc.titleAutomatic Generation of Implementations For Object-Oriented Abstractions
dc.typeTechnical Report

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Yi_et_al_CS-TR-2009-003.pdf
Size:
566.44 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.86 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Computer Science Technical Reports