PLILP - Symposium on Programming Language Implementation and Logic Programming

Subscribe

Academic

PLILP - Symposium on Programming Language Implementation and Logic Programming

PLILP - Symposium on Programming Language Implementation and Logic Programming

Publications: 344| Citation Count: 3,811 (Self-Citation: 119) |H-Index: 30
Year Range: 1988-1998

Interests: Programming Languages

Homepage

Add CFP

Cumulative Annual

Order by:

Publications (344)

Architecture Software Using: A Methodology for Language Development (Citations: 54)

Charles Consel, Renaud Marlet

Conference: Symposium on Programming Language Implementation and Logic Programming - PLILP , pp. 170-194, 1998
Staging Static Analyses Using Abstraction-Based Program Specialization (Citations: 15)

John Hatcliff, Matthew B. Dwyer, Shawn Laubach

Conference: Symposium on Programming Language Implementation and Logic Programming - PLILP , pp. 134-151, 1998
CAT: The Copying Approach to Tabling (Citations: 42)

Bart Demoen, Konstantinos F. Sagonas

Conference: Symposium on Programming Language Implementation and Logic Programming - PLILP , pp. 21-35, 1998
Logic Programming and Model Checking (Citations: 50)

Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren

Conference: Symposium on Programming Language Implementation and Logic Programming - PLILP , pp. 1-20, 1998
Controlling Search in Declarative Programs (Citations: 37)

Michael Hanus, Frank Steiner

Conference: Symposium on Programming Language Implementation and Logic Programming - PLILP , pp. 374-390, 1998