Search Sciweavers | Sciweavers

4211 search results - page 48 / 843

» Types as Abstract Interpretations

click to vote

ICALP
1997
Springer

96views Programming Languages» more ICALP 1997»

An Abstract Data Type for Real Numbers

15 years 4 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio

claim paper

Read More »

click to vote

VLDB
1997
ACM

92views Database» more VLDB 1997»

The Case for Enhanced Abstract Data Types

15 years 4 months ago

Download www.vldb.org

Praveen Seshadri, Miron Livny, Raghu Ramakrishnan

claim paper

Read More »

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 3 months ago

Download web.engr.oregonstate.edu

Martin Erwig, Ralf Hartmut Güting, Markus Sch...

claim paper

Read More »

click to vote

MFCS
2000
Springer

146views Theoretical Computer Science» more MFCS 2000»

Abstract Data Types in Computer Algebra

15 years 3 months ago

Download magma.maths.usyd.edu.au

James H. Davenport

claim paper

Read More »

click to vote

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers