Sciweavers

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

14

IFIP
1994
Springer

favoriteEmaildiscussreport

121views Programming Languages» more IFIP 1994»

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

13 years 8 months ago

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

Download www.eecs.umich.edu

Egon Börger, Francisco Javier López-Fr

Real-time Traffic

IFIP 1994 | Programming Languages |

claim paper

Related Content

» IMPS An Interactive Mathematical Proof System

» Mathematical applications of inductive logic programming

» Set functions for functional logic programming

» Relating complexity and precision in control flow analysis

» Software is discrete mathematics

» Standardization and Testing of Mathematical Functions

» Verification of PLC Programs Given as Sequential Function Charts

» An IP Core and GUI for Implementing Multilayer Perceptron with a Fuzzy Activation Function...

» A computer verified monadic functional implementation of the integral

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	IFIP
Authors	Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Comments (0)