JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
University of New Mexico
Albuquerque, Estados UnidosPublicacións en colaboración con investigadores/as de University of New Mexico (4)
2008
-
A practical type analysis for verification of modular prolog programs
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
2006
-
Context-sensitive multivariant assertion checking in modular programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Experiments in context-sensitive analysis of modular programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004
-
A generic framework for context-sensitive analysis of modular programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3049, pp. 233-260