A simple rewrite notion for call-time choice semantics
FJ López-Fraguas, J Rodríguez-Hortalá… - Proceedings of the 9th …, 2007 - dl.acm.org
Non-confluent and non-terminating rewrite systems are interesting from the point of view of
programming. In particular, existing functional logic languages use such kind of rewrite …
programming. In particular, existing functional logic languages use such kind of rewrite …
Equivalence of two formal semantics for functional logic programs
FJ López-Fraguas, J Rodríguez-Hortalá… - Electronic Notes in …, 2007 - Elsevier
A distinctive feature of modern functional logic languages like Toy or Curry is the possibility
of programming non-strict and non-deterministic functions with call-time choice semantics …
of programming non-strict and non-deterministic functions with call-time choice semantics …
Rewriting and narrowing for constructor systems with call-time choice semantics1
FJ Lopez-Fraguas, E Martin-Martin… - Theory and Practice of …, 2014 - cambridge.org
Non-confluent and non-terminating {constructor-based term rewriting systems are useful for
the purpose of specification and programming. In particular, existing functional logic …
the purpose of specification and programming. In particular, existing functional logic …
Programming with non-determinism: a rewriting based approach
J Rodríguez Hortalá - 2010 - docta.ucm.es
Esta tesis doctoral ha sido desarrollada bajo el “formato de publicaciones” recientemente
adoptado para la presentación de tesis doctorales en las universidades españolas, lo que …
adoptado para la presentación de tesis doctorales en las universidades españolas, lo que …
[PDF][PDF] Programación con indeterminismo: un enfoque basado en reescritura
JR Hortalá - 2010 - docta.ucm.es
Esta tesis doctoral ha sido desarrollada bajo el “formato de publicaciones” recientemente
adoptado para la presentación de tesis doctorales en las universidades españolas, lo que …
adoptado para la presentación de tesis doctorales en las universidades españolas, lo que …
[PDF][PDF] Relating two semantic descriptions of functional logic programs
FJLFJ Rodrıguez-Hortalá, J Sánchez-Hernández - PROLE'06, 2006 - sistedes.es
A distinctive feature of modern functional logic languages like Toy or Curry is the possibility
of programming non-strict and non-deterministic functions with calltime choice semantics …
of programming non-strict and non-deterministic functions with calltime choice semantics …
[PDF][PDF] El indeterminismo en programación lógico-funcional: un enfoque basado en reescritura
JR Hortalá, JS Hernández - 2007 - academia.edu
Por su alto poder expresivo, el uso del indeterminismo ha despertado especial interés en el
ámbito de la programación declarativa. En particular, está en la base del lenguaje Prolog …
ámbito de la programación declarativa. En particular, está en la base del lenguaje Prolog …
[引用][C] Relating two semantic descriptions of functional logic programs
F López-Fraguas, J Rodrıguez-Hortalá… - Proc. Jornadas sobre …, 2006
[引用][C] A Simple Rewrite Notion for Call-time Choice Semantics
FJLFJ Rodríguez… - Proceedings of the …, 2007 - ACM Press