least fixpoint algorithms / computing / least fixpoint algorithm / integer solutions / Trust management / fixpoint algorithm / /
Organization
Foundation for Trust Management Languages Ninghui Li / Stanford University / Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science / /
Person
John C. Mitchell / /
Position
RT / head / /pub/rt / project manager / /
ProgrammingLanguage
Datalog / /
Technology
following algorithm / operating system / least fixpoint algorithms / DNS / least fixpoint algorithm / /