In this paper we introduce JASMine, a CoreASM plug-in providing means to access Java objects and classes from inside an ASM specification. We discuss why this access is desirable, and provide a formal specification of the new rule forms as well as some notes on the actual implementation. JASMine ensures that the ability to access the “Java world” does not pollute the mathematical purity of the basic ASM computation model; differences between the JASMine approach and the other major research effort in the same direction, namely the way AsmL interacts with the .NET framework, are also discussed.
JASMine: Accessing Java Code from CoreASM
GERVASI, VINCENZO;
2010-01-01
Abstract
In this paper we introduce JASMine, a CoreASM plug-in providing means to access Java objects and classes from inside an ASM specification. We discuss why this access is desirable, and provide a formal specification of the new rule forms as well as some notes on the actual implementation. JASMine ensures that the ability to access the “Java world” does not pollute the mathematical purity of the basic ASM computation model; differences between the JASMine approach and the other major research effort in the same direction, namely the way AsmL interacts with the .NET framework, are also discussed.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
