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
203*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
1972000
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, ...
1241993
Feature specification and automated conflict detection
AP Felty, KS Namjoshi
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (1), 3-27, 2003
1152003
Implementing tactics and tacticals in a higher-order logic programming language
A Felty
Journal of Automated reasoning 11 (1), 43-81, 1993
1111993
Specifying and implementing theorem provers in a higher-order logic programming language
AP Felty
University of Pennsylvania, 1989
841989
Hybrid
A Felty, A Momigliano
Journal of automated reasoning 48 (1), 43-105, 2012
702012
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
622007
Encoding a dependent-type λ-calculus in a logic programming language
A Felty, D Miller
International Conference on Automated Deduction, 221-235, 1990
511990
Encoding a dependent-type λ-calculus in a logic programming language
A Felty, D Miller
International Conference on Automated Deduction, 221-235, 1990
511990
Generalization and reuse of tactic proofs
A Felty, D Howe
International Conference on Logic for Programming Artificial Intelligence …, 1994
501994
A logic programming approach to implementing higher-order term rewriting
A Felty
International Workshop on Extensions of Logic Programming, 135-161, 1991
441991
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
382008
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
362011
Privacy-sensitive information flow with JML
G Dufay, A Felty, S Matwin
International Conference on Automated Deduction, 116-130, 2005
352005
Hybrid interactive theorem proving using Nuprl and HOL
AP Felty, DJ Howe
International Conference on Automated Deduction, 351-365, 1997
341997
Encoding dependent types in an intuitionistic logic
A Felty
Logical Frameworks, 214-251, 1991
311991
Control access rule conflict detection
A Felty, V Capretta, B Stepien, S Matwin
US Patent App. 12/289,342, 2009
292009
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations
AP Felty, A Momigliano, B Pientka
Journal of Automated Reasoning 55 (4), 307-372, 2015
282015
The system can't perform the operation now. Try again later.
Articles 1–20