Estudios Estadísticos
Fakultät
University of New Mexico
Albuquerque, Estados UnidosPublikationen in Zusammenarbeit mit Forschern von 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