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
210*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
2022000
Specifying theorem provers in a higher-order logic programming language
A Felty, D Miller
International Conference on Automated Deduction, 61-80, 1988
1661988
Feature specification and automated conflict detection
AP Felty, KS Namjoshi
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (1), 3-27, 2003
1172003
Implementing tactics and tacticals in a higher-order logic programming language
A Felty
Journal of Automated reasoning 11 (1), 43-81, 1993
1141993
Specifying and implementing theorem provers in a higher-order logic programming language
AP Felty
University of Pennsylvania, 1989
861989
Hybrid
A Felty, A Momigliano
Journal of automated reasoning 48 (1), 43-105, 2012
792012
The Coq proof assistant user's guide: version 5.8
G Dowek, A Felty, H Herbelin, G Huet, C Parent, C Paulin-Mohring, ...
661993
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
642007
The COQ proof assistant user's guide: Version 5.6
G Dowek, A Felty, H Herbelin, G Huet, B Werner, C Paulin-Mohring
641991
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
491990
Encoding a dependent-type λ-calculus in a logic programming language
A Felty, D Miller
International Conference on Automated Deduction, 221-235, 1990
491990
A logic programming approach to implementing higher-order term rewriting
A Felty
International Workshop on Extensions of Logic Programming, 135-161, 1991
431991
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
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
Control access rule conflict detection
A Felty, V Capretta, B Stepien, S Matwin
US Patent App. 12/289,342, 2009
312009
Encoding dependent types in an intuitionistic logic
A Felty
Logical Frameworks, 214-251, 1991
301991
The system can't perform the operation now. Try again later.
Articles 1–20