Search Sciweavers | Sciweavers

31686 search results - page 150 / 6338

» Resource typing in Guru

click to vote

ICALP
1997
Springer

96views Programming Languages» more ICALP 1997»

An Abstract Data Type for Real Numbers

14 years 1 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio

claim paper

Read More »

click to vote

LFCS
1997
Springer

82views Artificial Intelligence» more LFCS 1997»

Type Introduction for Equational Rewriting

14 years 1 months ago

Download staff.aist.go.jp

Hitoshi Ohsaki, Aart Middeldorp

claim paper

Read More »

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

14 years 1 months ago

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

click to vote

VLDB
1997
ACM

92views Database» more VLDB 1997»

The Case for Enhanced Abstract Data Types

14 years 1 months ago

Download www.vldb.org

Praveen Seshadri, Miron Livny, Raghu Ramakrishnan

claim paper

Read More »

click to vote

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers