Search Sciweavers | Sciweavers

4211 search results - page 48 / 843

» Types as Abstract Interpretations

142

click to vote

ICALP
1997
Springer

96views Programming Languages» more ICALP 1997»

An Abstract Data Type for Real Numbers

15 years 10 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 10 months ago

Download www.vldb.org

Praveen Seshadri, Miron Livny, Raghu Ramakrishnan

claim paper

Read More »

126

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 9 months ago

Download web.engr.oregonstate.edu

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

claim paper

Read More »

149

click to vote

MFCS
2000
Springer

146views Theoretical Computer Science» more MFCS 2000»

Abstract Data Types in Computer Algebra

15 years 9 months ago

Download magma.maths.usyd.edu.au

James H. Davenport

claim paper

Read More »

127

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers