Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Authors:
G. Ramalingam;Eelco Visser
Affiliations:
-;-
Venue:
Partial Evaluation and Program Manipulation
Year:
2007

Citing 0
Cited 3

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
DES: A Deductive Database System

Electronic Notes in Theoretical Computer Science (ENTCS)
A deductive database with datalog and SQL query languages

APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Welcome to the ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation! PEPM 2007 is the latest incarnation of a series of workshops and symposia that started in the early 1990s. This proceedings contains 16 high-quality papers that were selected by the program committee out of 29 submissions. Each paper was reviewed by at least 3 program committee members, with further input from a small number of external reviewers. The reviewing process was conducted using the EasyChair Online Conference System. The proceedings also includes 2 invited keynote contributions by Michael Schwartzbach and Oege de Moor.