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
352010
Union and intersection types to support both dynamic and static typing
F Ortin, M García
Information Processing Letters 111 (6), 278-286, 2011
232011
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
142012
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
102016
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
102012
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
82010
Declarative data grounding using a mapping language
M Garcıa, JM Alvarez, D Berrueta, L Polo
Communications of SWIN 6, 132-138, 2009
72009
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
62013
Modularizing different responsibilities into separate parallel hierarchies
F Ortin, M Garcia
International Conference on Evaluation of Novel Approaches to Software …, 2011
52011
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
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
42014
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
42013
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
22020
Rule-based program specialization to optimize gradually typed code
F Ortín Soler, M García Rodríguez, S McSweeney
Knowledge-Based Systems, 179, 2019
2019
Attaining multiple dispatch in widespread object-oriented languages
F Ortín Soler, J Quiroga Álvarez, JM Redondo López, M García Rodríguez
Dyna, 81 (186), 2014
2014
Efficient runtime adaptability to support context-awareness in a robotic framework
M Garcia, F Ortin
Journal of Ambient Intelligence and Smart Environments 6 (1), 107-109, 2014
2014
Improving the Runtime Performance and Robustness of Hybrid Statically and Dynamically Typed Programming Languages
M García Rodríguez
2013
Combining static and dynamic typing to achieve multiple dispatch
F Ortín Soler, M García Rodríguez, JM Redondo López, J Quiroga Álvarez
Information: An International Interdisciplinary Journal, 16 (12b), 2013
2013
Separating different Responsibilities into Parallel Hierarchies
F Ortín Soler, M García Rodríguez
Proceedings of the Fourth ACM International C* Conference on Computer …, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20