Juan Rodríguez-Hortalá

Manuel Montenegro

Rubén Rubio

J. Log. Algebraic Methods Program., April, 2023

2019

Property-Based Testing for Spark Streaming.

[BibT_eX]

[DOI]

Cristina Valentina Espinosa

Theory Pract. Log. Program., 2019

FlinkCheck: Property-Based Testing for Apache Flink.

[BibT_eX]

[DOI]

IEEE Access, 2019

2016

Temporal Random Testing for Spark Streaming.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Polymorphic Types in Erlang Function Specifications.

[BibT_eX]

[DOI]

Manuel Montenegro

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

A liberal type system for functional logic programs.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

2014

Singular and plural functions for functional logic programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Rewriting and narrowing for constructor systems with call-time choice semantics.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Safe typing of functional logic programs with opaque patterns and local bindings.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

2012

Transparent function types: clearing up opacity.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, 2012

Well-typed narrowing with extra variables in functional-logic programming.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

S-Narrowing for Constructor Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2010

The Full Abstraction Problem for Higher Order Functional-Logic Programs

[BibT_eX]

[DOI]

CoRR, 2010

Programming with singular and plural non-deterministic functions.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Liberal Typing for Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

A Natural Implementation of Plural Semantics in Maude.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

A Formalization of the Semantics of Functional-Logic Programming in Isabelle

[BibT_eX]

[DOI]

Stephan Merz

CoRR, 2009

A Lightweight Combination of Semantics for Non-deterministic Functions

[BibT_eX]

[DOI]

CoRR, 2009

New Results on Type Systems for Functional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2009

A Fully Abstract Semantics for Constructor Systems.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

A flexible framework for programming with non-deterministicfunctions.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008

A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Rewriting and Call-Time Choice: The HO Case.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

Functions and Lazy Evaluation in Prolog.

[BibT_eX]

[DOI]

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

A simple rewrite notion for call-time choice semantics.

[BibT_eX]

[DOI]

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Equivalence of Two Formal Semantics for Functional Logic Programs.

[BibT_eX]

[DOI]