Search Sciweavers | Sciweavers

13734 search results - page 82 / 2747

» Abstractions of data types

click to vote

CHOROCHRONOS
2003
Springer

125views Database» more CHOROCHRONOS 2003»

Spatio-temporal Models and Languages: An Approach Based on Data Types

15 years 5 months ago

Download www.dpi.inpe.br

Ralf Hartmut Güting, Michael H. Böhlen, ...

claim paper

Read More »

click to vote

ISLPED
1998
ACM

68views Hardware» more ISLPED 1998»

Power exploration for dynamic data types through virtual memory management refinement

15 years 4 months ago

Download bwrc.eecs.berkeley.edu

Julio Leao da Silva Jr., Francky Catthoor, Diederi...

claim paper

Read More »

click to vote

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

15 years 3 months ago

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

claim paper

Read More »

click to vote

DAGSTUHL
2006

120views Software Engineering» more DAGSTUHL 2006»

Explaining Data Type Reduction in the Shape Analysis Framework

15 years 1 months ago

Download drops.dagstuhl.de

Björn Wachter

claim paper

Read More »

Voted

IJCAI
1997

110views Artificial Intelligence» more IJCAI 1997»

RHB+: A Type-Oriented ILP System Learning from Positive Data

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers