Julio Mariño
Title
Cited by
Cited by
Year
Efficient lazy narrowing using demandedness analysis
JJ Moreno-Navarro, H Kuchen, J Mariño-Carballo, S Winkler, W Hans
International Symposium on Programming Language Implementation and Logic …, 1993
281993
A model-driven approach to teaching concurrency
M Carro, Á Herranz, J Mariño
ACM Transactions on Computing Education (TOCE) 13 (1), 1-19, 2013
242013
Adding Type Classes to Functional-Logic Languages.
JJ Moreno-Navarro, J Marino, A del Pozo-Pietro, A Herranz-Nieva, ...
APPIA-GULP-PRODE, 427-438, 1996
171996
Efficient compilation of lazy narrowing into prolog
JA Jiménez-Martín, J Mariño-Carballo, JJ Moreno-Navarro
Logic Program Synthesis and Transformation, 253-270, 1993
141993
Property-based testing of JSON based web services
LÅ Fredlund, CB Earle, Á Herranz, J Mariño
2014 IEEE International Conference on Web Services, 704-707, 2014
132014
Constructive intensional negation
S Muñoz-Hernández, J Mariño, JJ Moreno-Navarro
International Symposium on Functional and Logic Programming, 39-54, 2004
122004
A proposal for disequality constraints in curry
EJG Arias, JM Carballo, JMR Poza
Electronic Notes in Theoretical Computer Science 177, 269-285, 2007
112007
Teaching how to derive correct concurrent programs from state-based specifications and code patterns
M Carro, J Marino, A Herranz, JJ Moreno-Navarro
International Conference on Technical Formal Methods, 85-106, 2004
112004
Jsongen: a QuickCheck based library for testing JSON web services
C Benac Earle, LÅ Fredlund, Á Herranz, J Mariño
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 33-41, 2014
92014
Modeling concurrent systems with shared resources
Á Herranz, J Mariño, M Carro, JJM Navarro
International Workshop on Formal Methods for Industrial Critical Systems …, 2009
92009
Automatic coding rule conformance checking using logic programming
G Marpons, J Mariño, M Carro, Á Herranz, JJ Moreno-Navarro, ...
International Symposium on Practical Aspects of Declarative Languages, 18-34, 2008
92008
Implementing constructive intensional negation
J Marino, JJ Moreno-Navarro, S Munoz-Hernandez
New Generation Computing 27 (1), 25-56, 2008
82008
A testing-based approach to ensure the safety of shared resource concurrent systems
LÅ Fredlund, J Mariño, RNN Alborodo, Á Herranz
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2016
62016
A verified implementation of priority monitors in Java
Á Herranz, J Marino
International Conference on Formal Verification of Object-Oriented Software …, 2011
62011
The implementation of Curry via its translation into Prolog
J Marino, JM Rey
7th Workshop on Functional and Logic Programming (WFLP98), 1998
61998
Execution and verification of UML state machines with erlang
RJ Rodríguez, LÅ Fredlund, Á Herranz, J Mariño
International Conference on Software Engineering and Formal Methods, 284-289, 2014
52014
First-order unification using variable-free relational algebra
EJG Arias, J Lipton, J Mariño, P Nogueira
Logic Journal of the IGPL 19 (6), 790-820, 2011
52011
Mechanising the validation of ERTMS requirements and new procedures
Á Herranz, G Marpons, C Benac, J Mariño
Proc. 9th World Congr. Railway Res., 33, 2011
52011
Using Static Analysis to Compile Non-sequential Functional Logic Programs?
J Mariño, JJ Moreno-Navarro
International Symposium on Practical Aspects of Declarative Languages, 63-80, 2000
52000
Towards a semantics-aware code transformation toolchain for heterogeneous systems
S Tamarit, J Marino, G Vigueras, M Carro
arXiv preprint arXiv:1701.03319, 2017
42017
The system can't perform the operation now. Try again later.
Articles 1–20