Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581138199

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A semantics for tracing declarative multi-paradigm programs

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013984 ◽

2004 ◽

Cited By ~ 9

Author(s):

B. Brassel ◽

M. Hanus ◽

F. Huch ◽

G. Vidal

Download Full-text

Just enough tabling

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013975 ◽

2004 ◽

Cited By ~ 4

Author(s):

Konstantinos Sagonas ◽

Peter J. Stuckey

Download Full-text

Formalization and abstract implementation of rewriting with nested rules

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013981 ◽

2004 ◽

Author(s):

Sergio Antoy ◽

Stephen Johnson

Download Full-text

Invited talk

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013968 ◽

2004 ◽

Author(s):

Yannis Smaragdakis

Download Full-text

JIAD

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013988 ◽

2004 ◽

Cited By ~ 3

Author(s):

J. Rajesh ◽

D. Janakiram

Download Full-text

Adventures in interoperability

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013987 ◽

2004 ◽

Cited By ~ 8

Author(s):

Nick Benton ◽

Andrew Kennedy ◽

Claudio V. Russo

Download Full-text

New completeness results for lazy conditional narrowing

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013979 ◽

2004 ◽

Author(s):

Mircea Marin ◽

Aart Middeldorp

Keyword(s):

Conditional Narrowing

Download Full-text

Model checking object petri nets in prolog

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013970 ◽

2004 ◽

Cited By ~ 8

Author(s):

Berndt Farwer ◽

Michael Leuschel

Keyword(s):

Model Checking ◽

Petri Nets

Download Full-text

Invited talk

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013966 ◽

2004 ◽

Author(s):

Greg Morrisett

Download Full-text

Semi-naive evaluation in linear tabling

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013976 ◽

2004 ◽

Cited By ~ 1

Author(s):

Neng-Fa Zhou ◽

Yi-Dong Shen ◽

Taisuke Sato

Download Full-text

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A semantics for tracing declarative multi-paradigm programs

Just enough tabling

Formalization and abstract implementation of rewriting with nested rules

Invited talk

JIAD

Adventures in interoperability

New completeness results for lazy conditional narrowing

Model checking object petri nets in prolog

Invited talk

Semi-naive evaluation in linear tabling

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04
Latest Publications