Practical program analysis using general purpose logic programming systems - a case study

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 1996, Pages 117-126

  Dawson, Steven ^a   Ramakrishnan, C R ^a   Warren, David S ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DATABASE SYSTEMS; MATHEMATICAL MODELS; OPTIMIZATION; PROGRAM COMPILERS; PROLOG (PROGRAMMING LANGUAGE); STORAGE ALLOCATION (COMPUTER); SYSTEMS ANALYSIS;

DECLARATIVE FORMULATIONS; IMPLEMENT TECHNOLOGIES; PROGRAM ANALYSIS;

LOGIC PROGRAMMING;

EID: 0029702034     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (41)