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
412010
Union and intersection types to support both dynamic and static typing
F Ortin, M García
Information Processing Letters 111 (6), 278-286, 2011
282011
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
212020
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
192014
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
182012
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
142016
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
132012
An infrastructure to deliver synchronous remote programming labs
M Garcia, J Quiroga, F Ortin
IEEE Transactions on Learning Technologies 14 (2), 161-172, 2021
92021
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
Modularizing different responsibilities into separate parallel hierarchies
F Ortin, M Garcia
International Conference on Evaluation of Novel Approaches to Software …, 2011
62011
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
52013
A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies.
F Ortin, M García
ENASE, 15-25, 2011
52011
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
52010
Rule-based program specialization to optimize gradually typed code
F Ortin, M Garcia, S McSweeney
Knowledge-Based Systems 179, 145-173, 2019
42019
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
12022
Mining Common Syntactic Patterns used by Java Programmers
A Losada, G Facundo, M Garcia, F Ortin
IEEE Latin America Transactions 20 (5), 753-762, 2022
12022
ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes
M Garcia, J Quiroga, F Ortin
Software Impacts 11, 100220, 2022
2022
Evaluation of the use of different parser generators in a compiler construction course
F Ortín Soler, J Quiroga Álvarez, Ó Rodríguez Prieto, M García Rodríguez
Lecture Notes in Networks and Systems, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20