BibTeX
@TECHREPORT{Kuncak03onrole,
author = {Viktor Kuncak and Martin Rinard},
title = {On Role Logic},
institution = {},
year = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of de Bruijn's notation for lambda calculus, an encoding of first-order logic in lambda calculus, and a simple rule for implicit arguments of unary and binary predicates.
