new papers

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
http://bergel.eu/download/papers/Berg11b-jsmall.pdf
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.
http://bergel.eu/download/papers/Berg11a-icssp11.pdf

Cheers,
Alexandre

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.