Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code.

Nadeem Abdul Hamid Zhong Shao

Published in: TPHOLs (2004)

Keyphrases

expert systems
asynchronous circuits
neural network
information retrieval
search engine
multi agent
management system
source code
learning systems
retrieval systems