Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Directional Type Checking of Logic Programs Alexander Aiken
 

Summary: Directional Type Checking of Logic Programs
Alexander Aiken
Computer Science Division
University of California, Berkeley
571 Evans
Berkeley, CA 94720
email: aiken@cs.berkeley.edu
T. K. Lakshman
Department of Computer Science
University of Illinois at Urbana­Champaign
1304 W. Springfield Ave,
Urbana, IL 61801
email: lakshman@cs.uiuc.edu
Report No. UCB/CSD 94­791
Computer Science Division (EECS)
University of California
Berkeley, California 94720

Abstract
We present an algorithm for automatic type checking of logic programs with respect to directional

  

Source: Aiken, Alex - Department of Computer Science, Stanford University

 

Collections: Computer Technologies and Information Sciences