Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Papers of Isabella Mastroeni
(Last update: October 11, 2005)
This list contains the publications of Isabella Mastroeni. The
abstracts of the papers can be retrieved by clicking on their title.
Their (gzipped) DVI and PostScript (A4-600dpi) or PDF versions are available,
as well as the corresponding BibTeX entries. Finally there is
an exercise book
(1999) in operational semantics. Click here for my research interests and here for the necessary copyright notice.
R. Giacobazzi and
I. Mastroeni. Timed Abstract
Non-Interference. In The International Conference on Formal
Modelling and Analysis of Timed Systems (FORMATS'05). Springer-Verlag. September 26-28, 2005, Uppsala,
Sweden. To appear.
S. Hunt and
I. Mastroeni. The PER model
of Abstract Non-Interference. In The 12th International Static
Analysis Symposium (SAS'05).
volume 3672 of
Lecture Notes in Computer Science, pages 171-185,
Springer-Verlag. September 7-9, 2005. London, UK.
R. Giacobazzi and I.
Mastroeni.
Non-standard semantics for program slicing.
In Higher-Order and Symbolic Computation
(HOSC).
Special issue on Partial Evalution and Semantics-Based Program Manipulation.
Volume 16(4), pages 297-339. December 2003.
R. Giacobazzi and I.
Mastroeni.
Compositionality in the puzzle of semantics.
In Proc. of the ACM
SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program
Manipulation
(PEPM'02), pages 87-97.
ACM press. Portland, Oregon, USA, January 14-15, 2002.
The documents distributed have been provided by the contributing authors
as a means to ensure timely dissemination of technical work on a
noncommercial
basis. Copyright and all rights therein are maintained by the authors or
by other copyright holders, notwithstanding that they have offered their
works here electronically. It is understood that all persons copying this
information will adhere to the terms and constraints invoked by each
author's
copyright. These works may not be reposted without the explicit permission
of the copyright holder.