Search Sciweavers | Sciweavers

7049 search results - page 13 / 1410

» Data Abstraction for CSP-OZ

click to vote

KBSE
1997
IEEE

68views Software Engineering» more KBSE 1997»

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

13 years 11 months ago

Download www.sdml.info

Jean-Francois Girard, Rainer Koschke, Georg Schied

claim paper

Read More »

click to vote

ICALP
1997
Springer

96views Programming Languages» more ICALP 1997»

An Abstract Data Type for Real Numbers

13 years 11 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

13 years 11 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

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers