Elena is a prototype implementation of a code generator that converts an extension of Java including state classes into Java. The syntax of the input language is Java 1.4 plus state classes and the state change expression. For more detail about State classes see the papers Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou: A type safe state abstraction for coordination in Java -like languages. Acta Inf. 45(7-8): 479-536, 2008 (product 347192 of the "Catalogo di Ateneo") and Damiani, Giachino, Giannini and Cazzola: On state classes and their dynamic semantics. Software and Data Technologies (First International Conference, ICSOFT 2006, Revised Selected Papers), Communications in Computer and Information Science, volume 10, pages 84-96, Springer, 2008 (http://www.springer.com/computer/programming/book/978-3-540-70619-9) (product 434409 of the "Catalogo di Ateneo").
Elena: A StateJ to Java translator
DAMIANI, Ferruccio;ZACCHI, Maddalena
2010-01-01
Abstract
Elena is a prototype implementation of a code generator that converts an extension of Java including state classes into Java. The syntax of the input language is Java 1.4 plus state classes and the state change expression. For more detail about State classes see the papers Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou: A type safe state abstraction for coordination in Java -like languages. Acta Inf. 45(7-8): 479-536, 2008 (product 347192 of the "Catalogo di Ateneo") and Damiani, Giachino, Giannini and Cazzola: On state classes and their dynamic semantics. Software and Data Technologies (First International Conference, ICSOFT 2006, Revised Selected Papers), Communications in Computer and Information Science, volume 10, pages 84-96, Springer, 2008 (http://www.springer.com/computer/programming/book/978-3-540-70619-9) (product 434409 of the "Catalogo di Ateneo").I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.