Takip et
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
Progamming Language Implementation and Logic Programming: 5th International …, 1993
271993
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
202014
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
182014
Adding Type Classes to Functional-Logic Languages.
JJ Moreno-Navarro, J Mariño, A del Pozo-Prieto, 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: Proceedings of LOPSTR 92 …, 1993
151993
Constructive intensional negation
S Muñoz-Hernández, J Marino, JJ Moreno-Navarro
International Symposium on Functional and Logic Programming, 39-54, 2004
142004
Teaching how to derive correct concurrent programs from state-based specifications and code patterns
M Carro, J Marino, A Herranz, JJ Moreno-Navarro
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium …, 2004
132004
Modeling concurrent systems with shared resources
Á Herranz, J Mariño, M Carro, JJ Moreno Navarro
Formal Methods for Industrial Critical Systems: 14th International Workshop …, 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
122007
Automatic coding rule conformance checking using logic programming
G Marpons, J Marino, M Carro, Á Herranz, JJ Moreno-Navarro, ...
Practical Aspects of Declarative Languages: 10th International Symposium …, 2008
102008
A verified implementation of priority monitors in Java
Á Herranz, J Marino
Formal Verification of Object-Oriented Software: International Conference …, 2012
92012
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
82016
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
72014
A coding rule conformance checker integrated into GCC
G Marpons, J Mariño, M Carro, Á Herranz, LÅ Fredlund, ...
Electronic Notes in Theoretical Computer Science 248, 149-159, 2009
72009
Implementing constructive intensional negation
J Mariño, JJ Moreno-Navarro, S Munoz-Hernandez
New Generation Computing 27, 25-56, 2008
72008
Constraint logic programming with a relational machine
EJ Gallego Arias, J Lipton, J Mariño
Formal Aspects of Computing 29, 97-124, 2017
62017
Applying property-based testing in teaching safety-critical system programming
LÅ Fredlund, Á Herranz, J Mariño
2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015
62015
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
62011
Mechanising the validation of ERTMS requirements and new procedures
Á Herranz, G Marpons, C Benac, J Mariño
9th World Congress on Railway Research, Lille, France, 33, 2011
62011
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20