Amy Felty
Amy Felty
Professor of Computer Science, University of Ottawa
Verified email at eecs.uottawa.ca - Homepage
Title
Cited by
Cited by
Year
Higher-order abstract syntax in Coq
J Despeyroux, A Felty, A Hirschowitz
International Conference on Typed Lambda Calculi and Applications, 124-138, 1995
209*1995
A semantic model of types and machine instructions for proof-carrying code
AW Appel, AP Felty
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
1982000
Specifying theorem provers in a higher-order logic programming language
A Felty, D Miller
International Conference on Automated Deduction, 61-80, 1988
1631988
The Coq proof assistant user's guide: version 5.8
G Dowek, A Felty, H Herbelin, G Huet, C Parent, C Paulin-Mohring, ...
INRIA, 1993
1301993
Feature specification and automated conflict detection
AP Felty, KS Namjoshi
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (1), 3-27, 2003
1192003
Implementing tactics and tacticals in a higher-order logic programming language
A Felty
Journal of Automated reasoning 11 (1), 43-81, 1993
1161993
Specifying and implementing theorem provers in a higher-order logic programming language
AP Felty
University of Pennsylvania, 1989
881989
Hybrid
A Felty, A Momigliano
Journal of automated reasoning 48 (1), 43-105, 2012
762012
Formal correctness of conflict detection for firewalls
V Capretta, B Stepien, A Felty, S Matwin
Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007
682007
Generalization and reuse of tactic proofs
A Felty, D Howe
International Conference on Logic for Programming Artificial Intelligence …, 1994
531994
Encoding a dependent-type λ-calculus in a logic programming language
A Felty, D Miller
International Conference on Automated Deduction, 221-235, 1990
471990
Encoding a dependent-type λ-calculus in a logic programming language
A Felty, D Miller
International Conference on Automated Deduction, 221-235, 1990
471990
A logic programming approach to implementing higher-order term rewriting
A Felty
International Workshop on Extensions of Logic Programming, 135-161, 1991
441991
Advantages of a non-technical XACML notation in role-based models
B Stepien, S Matwin, A Felty
2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011
402011
Two-level Hybrid: A system for reasoning using higher-order abstract syntax
A Momigliano, AJ Martin, AP Felty
Electronic Notes in Theoretical Computer Science 196, 85-93, 2008
392008
Privacy-sensitive information flow with JML
G Dufay, A Felty, S Matwin
International Conference on Automated Deduction, 116-130, 2005
332005
Control access rule conflict detection
A Felty, V Capretta, B Stepien, S Matwin
US Patent App. 12/289,342, 2009
322009
Hybrid interactive theorem proving using Nuprl and HOL
AP Felty, DJ Howe
International Conference on Automated Deduction, 351-365, 1997
321997
Combining de Bruijn indices and higher-order abstract syntax in Coq
V Capretta, AP Felty
International Workshop on Types for Proofs and Programs, 63-77, 2006
292006
A non-technical user-oriented display notation for XACML conditions
B Stepien, A Felty, S Matwin
International Conference on E-Technologies, 53-64, 2009
282009
The system can't perform the operation now. Try again later.
Articles 1–20