new papers

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

new papers

Alexandre Bergel-5
Dear All,

The following papers have been accepted:
"Reconciling Method Overloading and Dynamically Typed Scripting Languages", to appear in Computer Languages, Systems and Structures, 2011, Elsevier
This paper is quite formal. If some of you have any questions or need help to decrypt some of the greek formulas, just ask.

"Analyzing Software Process Models with AVISPA", to appear in ICSSP'11.
It is about Avispa, a tool to visualize software processes using Pharo, Mondrian and Moose.


Alexandre Bergel