Sciweavers

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

8

PPDP
2000
Springer

favoriteEmaildiscussreport

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

13 years 7 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

Real-time Traffic

PPDP 2000 | Programming Languages |

claim paper

Related Content

» EasyCheck Test Data for Free

» Nondeterminism Analysis of Functional Logic Programs

» Operational Semantics for Functional Logic Languages

» TypeBased Static and Dynamic Website Verification

» On Strong Normalization of the Calculus of Constructions with TypeBased Termination

» Set functions for functional logic programming

» Purely functional lazy nondeterministic programming

» Proofproducing synthesis of ML from higherorder logic

» Lazy Context Cloning for NonDeterministic Graph Rewriting

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	PPDP
Authors	Michael Hanus, Frank Steiner

Comments (0)