José Miguel Cleva

According to our database, José Miguel Cleva authored at least 3 papers between 2004 and 2006.

Collaborative distances:

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

2006

Verification of CRWL Programs with Rewriting Logic.

José Miguel Cleva, Isabel Pita

J. Univers. Comput. Sci., 2006

Semantic Determinism and Functional Logic Program Properties.

José Miguel Cleva, Francisco Javier López-Fraguas

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

2004

A logic programming approach to the verification of functional-logic programs.

José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004