Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Class Notes for CS 819 C -Spring 2002 8. Future Directions
 

Summary: 227
Class Notes for CS 819 C - Spring 2002
8. Future Directions
John C. Reynolds
Department of Computer Science
Carnegie Mellon University
Revised May 17, 2002
c
2002 John C. Reynolds

228
Future Directions
1. New Forms of Inference
 Strictly exact and domain-exact assertions
 A generalization
 Universally quanti ed intuitionistic assertions
 Immiscible assertions
2. Taming Address Arithmetic
 Problems with skewed sharing of dags, and Schorr-
Waite records

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Reynolds, John C. - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences; Mathematics