4 search results - page 1 / 1 » esop 1998 |
ESOP
1998
Springer
13 years 8 months ago
1998
Springer
ESOP
1998
Springer
13 years 8 months ago
1998
Springer
ESOP
1998
Springer
13 years 8 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...
ESOP
1998
Springer
13 years 8 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 ...