Fernando Pérez Morente

According to our database, Fernando Pérez Morente authored at least 7 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2012

An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications.

Rafael del Vado Vírseda, Fernando Pérez Morente

Proceedings of the International Conference on Computational Science, 2012

A Concurrent Operational Semantics for Constraint Functional Logic Programming.

Rafael del Vado Vírseda, Fernando Pérez Morente, Marcos Miguel García Toledo

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience.

Rafael del Vado Vírseda, Fernando Pérez Morente, Eduardo Berbis González

Proceedings of the CSEDU 2012, 2012

2011

An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs.

Rafael del Vado Vírseda, Fernando Pérez Morente

Proceedings of the International Conference on Computational Science, 2011

A modular semantics for higher-order declarative programming with constraints.

Rafael del Vado Vírseda, Fernando Pérez Morente

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

An innovative teaching tool based on semantic tableaux for verification and debugging of programs.

Rafael del Vado Vírseda, Fernando Pérez Morente

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results.

Rafael del Vado Vírseda, Fernando Pérez Morente, Sergio Esquembri Martínez

Proceedings of the CSEDU 2011, 2011