Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CORR
2002
Springer

favoriteEmaildiscussreport

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

13 years 4 months ago

Composing Programs in a Rewriting Logic for Declarative Programming

Download www.lcc.uma.es

Juan M. Molina-Bravo, Ernesto Pimentel

Real-time Traffic

CORR 2002 | Education |

claim paper

Related Content

» A lazy narrowing calculus for declarative constraint programming

» Declarative Debugging of Missing Answers for Maude

» A Declarative Debugger for Maude

» A Compositional Semantics for Conditional Term Rewriting Systems

» Composing HighLevel Plans for Declarative Agent Programming

» A new generic scheme for functional logic programming with constraints

» Operational Semantics of Constraint Logic Programs with Coroutining

» Modularity Aspects of Disjunctive Stable Models

» Composable specifications for structured sharedmemory communication

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	CORR
Authors	Juan M. Molina-Bravo, Ernesto Pimentel

Comments (0)