Julio Mariño
Julio Mariño
fi.upm.es üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
291993
A model-driven approach to teaching concurrency
M Carro, Á Herranz, J Marino
ACM Transactions on Computing Education (TOCE) 13 (1), 1-19, 2013
262013
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
172014
Adding Type Classes to Functional-Logic Languages.
JJ Moreno-Navarro, J Mariño, 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
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
132014
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
132004
Modeling concurrent systems with shared resources
Á Herranz, J Marino, M Carro, JJM Navarro
International Workshop on Formal Methods for Industrial Critical Systems …, 2009
122009
A proposal for disequality constraints in curry
EJG Arias, JM Carballo, JMR Poza
Electronic Notes in Theoretical Computer Science 177, 269-285, 2007
112007
Constructive intensional negation
S Muñoz-Hernández, J Mariño, JJ Moreno-Navarro
International Symposium on Functional and Logic Programming, 39-54, 2004
112004
A verified implementation of priority monitors in Java
Á Herranz, J Marino
International Conference on Formal Verification of Object-Oriented Software …, 2011
92011
Automatic coding rule conformance checking using logic programming
G Marpons, J Marino, 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 Marino, RNN Alborodo, A Herranz
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2016
72016
Using Static Analysis to Compile Non-sequential Functional Logic Programs?
J Marino, JJ Moreno-Navarro
International Symposium on Practical Aspects of Declarative Languages, 63-80, 2000
62000
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
The implementation of Curry via its translation into Prolog
J Marino, JM Rey
7th Workshop on Functional and Logic Programming (WFLP98), 1998
51998
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20