ESOP
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
ESOP
1998
Springer
14 years 4 months ago
1998
Springer
ESOP
1998
Springer
14 years 4 months ago
1998
Springer
ESOP
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...