JUAN
RODRÍGUEZ HORTALÁ
Investigador en el periodo 2008-2020
ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Publicaciones en las que colabora con ENRIQUE MARTÍN MARTÍN (10)
2023
-
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming, Vol. 132
2019
-
FlinkCheck: Property-based testing for apache flink
IEEE Access, Vol. 7, pp. 150369-150382
2015
-
A liberal type system for functional logic programs
Mathematical Structures in Computer Science
2014
-
Rewriting and narrowing for constructor systems with call-time choice semantics
Theory and Practice of Logic Programming, Vol. 14, Núm. 2, pp. 165-213
-
Safe typing of functional logic programs with opaque patterns and local bindings
Information and Computation, Vol. 235, pp. 36-69
2012
-
Transparent function types: Clearing up opacity
PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming
-
Well-typed narrowing with extra variables in functional-logic programming
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2010
-
Liberal typing for functional logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
New results on type systems for functional logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
Advances in type systems for functional-logic programming
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009