Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By ACM Press

1581132654

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A model for comparing the space usage of lazy evaluators

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351287 ◽

2000 ◽

Author(s):

Adam Bakewell ◽

Colin Runciman

Download Full-text

Continuations for parallel logic programming

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351297 ◽

2000 ◽

Author(s):

Eneia Todoran ◽

Nikolaos S. Papaspyrou

Keyword(s):

Logic Programming ◽

Parallel Logic Programming

Download Full-text

Proof-carrying code (abstract)

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351289 ◽

2000 ◽

Author(s):

George C. Necula

Download Full-text

Efficient memory management in a merged heap/stack prolog machine

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351296 ◽

2000 ◽

Author(s):

Xining Li

Keyword(s):

Memory Management ◽

Efficient Memory ◽

Download Full-text

A high performance Erlang system

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351273 ◽

2000 ◽

Author(s):

Erik Johansson ◽

Mikael Pettersson ◽

Konstantinos Sagonas

Keyword(s):

High Performance

Download Full-text

A precise type analysis of logic programs

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351293 ◽

2000 ◽

Author(s):

Lunjin Lu

Keyword(s):

Logic Programs ◽

Download Full-text

A bottom-up semantics for linear logic programs

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351279 ◽

2000 ◽

Author(s):

Marco Bozzano ◽

Giorgio Delzanno ◽

Maurizio Martelli

Keyword(s):

Linear Logic ◽

Logic Programs ◽

Download Full-text

Operational semantics and extensionality

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351272 ◽

2000 ◽

Author(s):

Simona Ronchi Della Rocca

Keyword(s):

Operational Semantics

Download Full-text

Declarative event-oriented programming

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351276 ◽

2000 ◽

Author(s):

Conal Elliott

Download Full-text

From logic to stochastic processes (abstract only)

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 ◽

10.1145/351268.351269 ◽

2000 ◽

Author(s):

Prakash Panangaden

Keyword(s):

Stochastic Processes

Download Full-text