Compositional analysis of modular logic programs

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1993, Pages 451-464

  Codish, Michael ^a   Debray, Saumya K ^a   Giacobazzi, Roberto ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; SET THEORY;

ABSTRACT UNFOLDING NOTION; COMPOSITIONAL APPROACH; MODULAR LOGIC PROGRAMS; PROGRAM'S PREDICATES;

LOGIC PROGRAMMING;

EID: 0027147076     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/158511.158703     Document Type: Conference Paper

References (24)