Foto del docente

Cosimo Laneve

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Useful contents

SOFTWARE DEVELOPED BY COSIMO's GROUP

  • The STIPULA Project -- Development of a programming language for legal contracts. The first release of the language is available here. Cosimo Laneve, Adele Veschetti and Silvia Crafa, September 2022. Silvia Crafa and a student of her have recently developed a graphical interface for Stipula, available online (October 2022).

  • The JaDA Project -- Development of a full-fledged deadlock analyser for the Java programming language. The first release of the Java Deadlock Analyzer is available as a web service at JaDA, Abel Garcia and Cosimo Laneve, October 2016.

  • Static Resource Analyzer -- Static Resource Analyzer for ABS, Abel Garcia, Elena Giachino, Cosimo Laneve, Michael Lienhardt, September 2015. 

  • DF4ABS -- Deadlock Framework for ABS, Abel Garcia, Elena Giachino, Cosimo Laneve, Michael Lienhardt, March 2013 -- April 2014.

  • SDA -- Static Deadlock Analyzer for ABS (OLD SITE), Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, March 2013.

  • The PiDuce Machine, Samuele Carpineti, Cosimo Laneve, Luca Padovani, May 2007.

  • The Java Bytecode Verifier with Structured Locking Checks, Gaetano Bigliardi and Cosimo Laneve, April 2003. Please, read the README file.