Ismael Figueroa
Ismael Figueroa
Pragmatics Lab
No verified email - Homepage
Cited by
Cited by
Execution levels for aspect-oriented programming
É Tanter
Proceedings of the 9th International Conference on Aspect-Oriented Software …, 2010
Enfoque de aplicación ágil con Serum, Lean y Kanban
J Gaete, R Villarroe, I Figueroa, H Cornide-Reyes, R Muñoz
Ingeniare. Revista chilena de ingeniería 29 (1), 141-157, 2021
PROMETHEUS: Procedural methodology for developing heuristics of usability
C Jiménez, HA Cid, I Figueroa
IEEE Latin America Transactions 15 (3), 541-549, 2017
Developing usability heuristics with PROMETHEUS: A case study in virtual learning environments
I Figueroa, C Jiménez, H Allende-Cid, P Leger
Computer Standards & Interfaces 65, 132-142, 2019
A typed monadic embedding of aspects
N Tabareau, I Figueroa, É Tanter
Proceedings of the 12th annual international conference on Aspect-oriented …, 2013
A semantics for execution levels with exceptions
I Figueroa, É Tanter
Proceedings of the 10th international workshop on Foundations of aspect …, 2011
A practical monadic aspect weaver
I Figueroa, É Tanter, N Tabareau
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented …, 2012
Taming aspects with monads and membranes
I Figueroa, N Tabareau, É Tanter
Proceedings of the 12th workshop on Foundations of aspect-oriented languages …, 2013
Towards progressive program verification in Dafny
I Figueroa, B García, P Leger
Proceedings of the XXII Brazilian Symposium on Programming Languages, 90-97, 2018
Effective aspects: a typed monadic embedding of pointcuts and advice
I Figueroa, N Tabareau, É Tanter
Transactions on Aspect-Oriented Software Development XI, 145-192, 2014
Which monads Haskell developers use: An exploratory study
I Figueroa, P Leger, H Fukuda
Science of Computer Programming 201, 102523, 2021
Compositional reasoning about aspect interference
I Figueroa, T Schrijvers, N Tabareau, É Tanter
Proceedings of the 13th international conference on Modularity, 133-144, 2014
Objectives and behaviors for a gamification strategy for first year programming courses
E Jamet, K Valencia, I Figueroa
2018 37th International Conference of the Chilean Computer Science Society …, 2018
A preliminary assessment of how monads are used in Haskell
I Figueroa
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-7, 2017
Is functional programming better for modularity?
I Figueroa, R Robbes
Proceedings of the 6th Workshop on Evaluation and Usability of Programming …, 2015
ABM RoutePlanner: An agent-based model simulation for suggesting preference-based routes in Spain
V Pizarro, P Leger, C Hidalgo-Alcázar, I Figueroa
Journal of Simulation, 1-18, 2022
DSSM: Distributed streaming data sharing manager
H Fukuda, R Gunji, T Hasegawa, P Leger, I Figueroa
Sensors 21 (4), 1344, 2021
Interfaces for modular reasoning in context-oriented programming
P Leger, H Masuhara, I Figueroa
Proceedings of the 12th International Workshop on Context-Oriented …, 2020
Toward Distributed Streaming Data Sharing Manager for Autonomous Robot Control
H Fukuda, R Gunji, T Hasegawa, P Leger, I Figueroa
2020 IEEE/SICE International Symposium on System Integration (SII), 862-866, 2020
A Practical Methodology to Learn Computer Architecture, Assembly Language, and Operating System.
H Fukuda, P Leger, I Figueroa
CSEDU (1), 333-340, 2020
The system can't perform the operation now. Try again later.
Articles 1–20