Daniele Filaretti

According to our database1, Daniele Filaretti authored at least 5 papers between 2013 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2015
An executable formal semantics of PHP with applications to program analysis.
PhD thesis, 2015

2014
A trusted mechanised JavaScript specification.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

An Executable Formal Semantics of PHP.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Building Bricks with Bricks, with Mathematica.
CoRR, 2013


  Loading...