Enrique Martin-Martin

Manuel Montenegro

Rubén Rubio

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

Formally Verified EVM Block-Optimizations.

[BibT_eX]

[DOI]

Daniel Kirchner

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Improving Database Learning with an Automatic Judge.

[BibT_eX]

[DOI]

Manuel Montenegro

Rubén Rubio

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

A unified framework for declarative debugging and testing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2021

Lower-Bound Synthesis Using Loop Specialization and Max-SMT.

[BibT_eX]

[DOI]

Alicia Merayo

Albert Rubio

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

A Transformational Approach to Resource Analysis with Typed-norms Inference.

[BibT_eX]

[DOI]

Raúl Gutiérrez

Theory Pract. Log. Program., 2020

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell.

[BibT_eX]

[DOI]

Nikolaos Bezirgiannis

Frank S. de Boer

Fundam. Informaticae, 2020

2019

Resource Analysis driven by (Conditional) Termination Proofs.

[BibT_eX]

[DOI]

Miquel Bofill

Cristina Borralleras

Albert Rubio

Theory Pract. Log. Program., 2019

A core Erlang semantics for declarative debugging.

[BibT_eX]

[DOI]

Cristina Valentina Espinosa

J. Log. Algebraic Methods Program., 2019

FlinkCheck: Property-Based Testing for Apache Flink.

[BibT_eX]

[DOI]

IEEE Access, 2019

2018

Declarative debugging of concurrent Erlang programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

A Language-Independent Technique for Assessing Tweet Success: An Experience Report.

[BibT_eX]

[DOI]

Manuel Rodriguez

IEEE Access, 2018

2017

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings.

[BibT_eX]

[DOI]

J. Autom. Reason., 2017

2016

May-Happen-in-Parallel Analysis for Actor-Based Concurrency.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2016

Debugging Meets Testing in Erlang.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 10th International Conference, 2016

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.

[BibT_eX]

[DOI]

Nikolaos Bezirgiannis

Frank S. de Boer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

A zoom-declarative debugger for sequential Erlang programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

A liberal type system for functional logic programs.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Resource Analysis: From Sequential to Concurrent and Distributed Programs.

[BibT_eX]

[DOI]

Miguel Gómez-Zamalloa

Germán Puebla

Guillermo Román-Díez

Proceedings of the FM 2015: Formal Methods, 2015

2014

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

[BibT_eX]

[DOI]

Jaime Sánchez-Hernández

Theory Pract. Log. Program., 2014

FLOP: A User-Friendly System for Automated Program Assessment.

[BibT_eX]

[DOI]

Luis Llana

J. Ángel Velázquez-Iturbide

Cristóbal Pareja-Flores

J. Univers. Comput. Sci., 2014

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

[BibT_eX]

[DOI]

Inf. Comput., 2014

EDD: A Declarative Debugger for Sequential Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

SACO: Static Analyzer for Concurrent Objects.

[BibT_eX]

[DOI]

Puri Arenas

Miguel Gómez-Zamalloa

German Puebla

Guillermo Román-Díez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Static Inference of Transmission Data Sizes in Distributed Systems.

[BibT_eX]

[DOI]

Jesús Correas Fernández

Guillermo Román-Díez

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

A Declarative Debugger for Sequential Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Typing as functional-logic evaluation.

[BibT_eX]

[DOI]

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

May-Happen-in-Parallel Analysis for Priority-Based Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Termination and Cost Analysis of Loops with Concurrent Interleavings.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

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

FLOP, a free laboratory of programming.

[BibT_eX]

[DOI]

Luis Llana

Cristóbal Pareja-Flores

Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012

2011

Type classes in functional logic programming.

[BibT_eX]

[DOI]

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

2010

Liberal Typing for Functional Logic Programs.

[BibT_eX]

[DOI]

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

2009

New Results on Type Systems for Functional Logic Programming.

[BibT_eX]

[DOI]