Julio Mariño-Carballo

Clara Benac Earle

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

Generation and Refinement of Testing Models.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2023

2022

Executable contracts for Elixir.

[BibT_eX]

[DOI]

Sergio Pérez

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

Automatic Generation of Attacker Contracts in Solidity.

[BibT_eX]

[DOI]

Ignacio Ballesteros

Clara Benac Earle

Ángel Herranz

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

2021

Makina: a new QuickCheck state machine library.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2019

Synthesis of verifiable concurrent Java components from formal models.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

2018

Runtime Verification in Erlang by Using Contracts.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2018

2017

Constraint logic programming with a relational machine.

[BibT_eX]

[DOI]

James Lipton

Formal Aspects Comput., 2017

The Unfolding Semantics of Functional Programs.

[BibT_eX]

[DOI]

José María Rey Poza

CoRR, 2017

2016

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures.

[BibT_eX]

[DOI]

CoRR, 2016

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.

[BibT_eX]

[DOI]

CoRR, 2016

2015

A Haskell Implementation of a Rule-Based Program Transformation for C Programs.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2015

Applying Property-Based Testing in Teaching Safety-Critical System Programming.

[BibT_eX]

[DOI]

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Execution and Verification of UML State Machines with Erlang.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Declarative Compilation for Constraint Logic Programming.

[BibT_eX]

[DOI]

James Lipton

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

Property-Based Testing of JSON Based Web Services.

[BibT_eX]

[DOI]

Clara Benac Earle

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Teaching Students Property-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Jsongen: a quickcheck based library for testing JSON web services.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

A model-driven approach to teaching concurrency.

[BibT_eX]

[DOI]

ACM Trans. Comput. Educ., 2013

2012

From the π-calculus to flat GHC.

[BibT_eX]

[DOI]

Rubén Monjaraz

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

First-order unification using variable-free relational algebra.

[BibT_eX]

[DOI]

James Lipton

Ana María Fernández-Soriano

Pablo Nogueira

Log. J. IGPL, 2011

A Tool for the Integration of Constraint Solving in Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

Synthesis of Logic Programs from Object-Oriented Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

A Verified Implementation of Priority Monitors in Java.

[BibT_eX]

[DOI]

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2009

Modeling Concurrent Systems with Shared Resources.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Implementing Constructive Intensional Negation.

[BibT_eX]

[DOI]

Susana Muñoz-Hernández

New Gener. Comput., 2008

A Coding Rule Conformance Checker Integrated into GCC.

[BibT_eX]

[DOI]

Guillem Marpons-Ucero

Álvaro Polo

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Automatic Coding Rule Conformance Checking Using Logic Programming.

[BibT_eX]

[DOI]

Guillem Marpons-Ucero

Proceedings of the Practical Aspects of Declarative Languages, 2008

2007

Demand analysis with partial predicates.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

Automatic Coding Rule Conformance Checking Using Logic Programs

[BibT_eX]

[DOI]

Guillem Marpons-Ucero

CoRR, 2007

2006

A Proposal for Disequality Constraints in Curry.

[BibT_eX]

[DOI]

José María Rey Poza

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

2005

Adding constraints to curry via flat guards.

[BibT_eX]

[DOI]

José María Rey Poza

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

An overview of the Sloth2005 curry system: system description.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

2004

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.

[BibT_eX]

[DOI]

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Constructive Intensional Negation.

[BibT_eX]

[DOI]

Susana Muñoz-Hernández

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2000

Partial Predicates for Demand Analysis.

[BibT_eX]

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Using Static Analysis to Compile Non-sequential Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

1998

Recovering Sequentiality in Functional-Logic Programs.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996

Adding Type Classes to Functional-Logic Languages.

[BibT_eX]

Andrés del Pozo-Prieto

Julio García-Martín

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1993

Efficient Lazy Narrowing using Demandedness Analysis.

[BibT_eX]

[DOI]

Herbert Kuchen

José André Jimènez-Martin

Stephan Winkler

Werner Hans

Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992

Efficient Compilation of Lazy Narrowing into Prolog.

[BibT_eX]

[DOI]