Citation: J. Haas et B. Jayaraman, FROM CONTEXT-FREE TO DEFINITE-CLAUSE GRAMMARS - A TYPE-THEORETIC APPROACH, The journal of logic programming, 30(1), 1997, pp. 1-23
Authors:
CODISH M
FALASCHI M
MARRIOTT K
WINSBOROUGH W
Citation: M. Codish et al., A CONFLUENT SEMANTIC BASIS FOR THE ANALYSIS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS, The journal of logic programming, 30(1), 1997, pp. 53-81
Citation: G. Gupta et M. Carlsson, GUEST EDITORS INTRODUCTION - HIGH-PERFORMANCE IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS, The journal of logic programming, 29(1-3), 1996, pp. 1-3
Citation: A. Taylor, PARMA - BRIDGING THE PERFORMANCE GAP BETWEEN IMPERATIVE AND LOGIC PROGRAMMING, The journal of logic programming, 29(1-3), 1996, pp. 5-16
Citation: Z. Somogyi et al., THE EXECUTION ALGORITHM OF MERCURY, AN EFFICIENT PURELY DECLARATIVE LOGIC PROGRAMMING LANGUAGE, The journal of logic programming, 29(1-3), 1996, pp. 17-64
Citation: P. Tarau et al., PARTIAL TRANSLATION - TOWARDS A PORTABLE AND EFFICIENT PROLOG IMPLEMENTATION TECHNOLOGY, The journal of logic programming, 29(1-3), 1996, pp. 65-83
Citation: M. Codish et al., ON THE DESIGN OF A CORRECT FREENESS ANALYSIS FOR LOGIC PROGRAMS, The journal of logic programming, 28(3), 1996, pp. 181-206
Citation: A. Degtyarev et A. Voronkov, A NOTE ON SEMANTICS OF LOGIC PROGRAMS WITH EQUALITY BASED ON COMPLETE-SETS OF E-UNIFIERS, The journal of logic programming, 28(3), 1996, pp. 207-216
Citation: T. Lindgren, POLYVARIANT DETECTION OF UNINITIALIZED ARGUMENTS OF PROLOG PREDICATES, The journal of logic programming, 28(3), 1996, pp. 217-229
Citation: B. Beckert et J. Posegga, LOGIC PROGRAMMING AS A BASIS FOR LEAN AUTOMATED DEDUCTION, The journal of logic programming, 28(3), 1996, pp. 231-236
Citation: B. Martens et D. Deschreye, AUTOMATIC FINITE UNFOLDING USING WELL-FOUNDED MEASURES, The journal of logic programming, 28(2), 1996, pp. 89-146
Citation: S. Adali et Vs. Subrahmanian, AMALGAMATING KNOWLEDGE BASES .3. ALGORITHMS, DATA-STRUCTURES, AND QUERY-PROCESSING, The journal of logic programming, 28(1), 1996, pp. 45-88