Follow
Miguel Garcia Rodriguez
Miguel Garcia Rodriguez
Computer Science, University of Oviedo
Verified email at uniovi.es - Homepage
Title
Cited by
Cited by
Year
Including both static and dynamic typing in the same programming language
F Ortin, D Zapico, JBG Perez-Schofield, M Garcia
Software, IET 4 (4), 268-282, 2010
442010
Union and intersection types to support both dynamic and static typing
F Ortin, M García
Information Processing Letters 111 (6), 278-286, 2011
312011
Heterogeneous tree structure classification to label Java programmers according to their expertise level
F Ortin, O Rodriguez-Prieto, N Pascual, M Garcia
Future Generation Computer Systems 105, 380-394, 2020
272020
An infrastructure to deliver synchronous remote programming labs
M Garcia, J Quiroga, F Ortin
IEEE transactions on learning technologies 14 (2), 161-172, 2021
222021
On the suitability of dynamic languages for hot‐reprogramming a robotics framework: a Python case study
F Ortin, S Mendez, V García‐Díaz, M Garcia
Software: Practice and Experience 44 (1), 77-104, 2014
212014
Applying dynamic separation of aspects to distributed systems security: a case study
M Garcia, D Llewellyn-Jones, F Ortin, M Merabti
Software, IET 6 (3), 231-248, 2012
192012
Design and implementation of an efficient hybrid dynamic and static typing language
M Garcia, F Ortin, J Quiroga
Software: Practice and Experience 46 (2), 199-226, 2016
172016
An empirical evaluation of Lex/Yacc and ANTLR parser generation tools
F Ortin, J Quiroga, O Rodriguez-Prieto, M Garcia
Plos one 17 (3), e0264326, 2022
142022
Towards a Practical Solution for Data Grounding in a Semantic Web Services Environment
MG Rodríguez, JMA Rodríguez, DB Muñoz, LP Paredes, JEL Gayo, ...
Journal of Universal Computer Science 18 (11), 1576-1597, 2012
122012
Supporting dynamic and static typing by means of union and intersection types
F Ortin, M Garcia
2010 IEEE International Conference on Progress in Informatics and Computing …, 2010
92010
Declarative data grounding using a mapping language
M Garcıa, JM Alvarez, D Berrueta, L Polo
Communications of SWIN 6, 132-138, 2009
82009
Achieving multiple dispatch in hybrid statically and dynamically typed languages
F Ortin, M Garcia, JM Redondo, J Quiroga
Advances in Information Systems and Technologies, 703-713, 2013
72013
Rule-based program specialization to optimize gradually typed code
F Ortin, M Garcia, S McSweeney
Knowledge-Based Systems 179, 145-173, 2019
62019
A performance cost evaluation of aspect weaving
M García, F Ortin, D Llewellyn-Jones, M Merabti
Proceedings of the Thirty-Sixth Australasian Computer Science Conference …, 2013
62013
Modularizing different responsibilities into separate parallel hierarchies
F Ortin, M Garcia
Evaluation of Novel Approaches to Software Engineering: 6th International …, 2013
62013
TRIOO: Keeping the semantics of data safe and sound into object-oriented software
S Fernández, D Berrueta Muñoz, M García Rodríguez, JE Labra Gayo
ICSOFT 2010-Proceedings of the 5th International Conference on Software and …, 2010
62010
Analyzing syntactic constructs of Java programs with machine learning
F Ortin, G Facundo, M Garcia
Expert Systems with Applications 215, 119398, 2023
42023
Evaluation of the use of different parser generators in a compiler construction course
F Ortin, J Quiroga, O Rodriguez-Prieto, M Garcia
World Conference on Information Systems and Technologies, 338-346, 2022
42022
Separating different responsibilities into parallel hierarchies
F Ortin, M Garcia
Proceedings of The Fourth International C* Conference on Computer Science …, 2011
42011
Open-source Infrastructure for the Remote Delivery of Synchronous and Highly Interactive Sessions
J Quiroga, M Garcia, F Ortin
18th International Conference on Evaluation of Novel Approaches to Software …, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20