Daniel Pardo

Affiliations:

According to our database¹, Daniel Pardo authored at least 3 papers between 2015 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Abstract Contract Synthesis and Verification in the Symbolic K Framework.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

2016

Symbolic Abstract Contract Synthesis in a Rewriting Framework.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Automatic Inference of Specifications in the K Framework.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015