|
Search the dblp DataBase
Valerio Senni:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] Transformation Techniques in Software Engineering, 2005, pp:- [Conf]
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. [Citation Graph (0, 0)][DBLP] ICLP, 2006, pp:179-195 [Conf]
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Transformational Verification of Parameterized Protocols Using Array Formulas. [Citation Graph (0, 0)][DBLP] LOPSTR, 2005, pp:23-43 [Conf]
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Automatic Correctness Proofs for Logic Program Transformations. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:364-379 [Conf]
The Transformational Approach to Program Development. [Citation Graph (, )][DBLP]
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. [Citation Graph (, )][DBLP]
Deciding Full Branching Time Logic by Program Transformation. [Citation Graph (, )][DBLP]
Transformations of Logic Programs on Infinite Lists [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|