Sciweavers

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

11

FLOPS
2006
Springer

favoriteEmaildiscussreport

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

13 years 8 months ago

A Framework for Extended Algebraic Data Types

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

Real-time Traffic

Automated Reasoning | FLOPS 2006 |

claim paper

Related Content

» A Note on Test Oracles and Semantics of Algebraic Specifications

» Vague Spatial Data Types Set Operations and Predicates

» Algebraic Properties of Bag Data Types

» Supporting Lists in a Data Model A Timely Approach

» A Uniform Approach to Processing Temporal Queries

» Testing Data Types Implementations from Algebraic Specifications

» Streaming SPARQL Extending SPARQL to Process Data Streams

» The Calculus of Algebraic Constructions

» Decidability of TypeChecking in the Calculus of Algebraic Constructions with Size Annotati...

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FLOPS
Authors	Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

Comments (0)