Julio Mariño-Carballo

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 1

Top Topics

Constraint Solver

Functional Programs

Lazy Evaluation

Proof Theoretic

Top Venues

Publications

José María Rey Poza, Julio Mariño-Carballo
The Unfolding Semantics of Functional Programs. CoRR (2017)
Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo
Property-Based Testing of JSON Based Web Services. ICWS (2014)
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo
Declarative Compilation for Constraint Logic Programming. LOPSTR (2014)
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
Automatic Coding Rule Conformance Checking Using Logic Programming. PADL (2008)
Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza
A Proposal for Disequality Constraints in Curry. Electron. Notes Theor. Comput. Sci. 177 (2007)
Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans
Efficient Lazy Narrowing using Demandedness Analysis. PLILP (1993)
José André Jimènez-Martin, Julio Mariño-Carballo, Juan José Moreno-Navarro
Efficient Compilation of Lazy Narrowing into Prolog. LOPSTR (1992)