Search Sciweavers | Sciweavers

31686 search results - page 199 / 6338

» Resource typing in Guru

118

click to vote

AOSD
2007
ACM

96views Software Engineering» more AOSD 2007»

cJ: enhancing java with safe type conditions

15 years 10 months ago

Download www.cs.umass.edu

Shan Shan Huang, David Zook, Yannis Smaragdakis

claim paper

Read More »

130

click to vote

CG
2006
Springer

121views Computer Graphics» more CG 2006»

Comparative Study of Approximate Strategies for Playing Sum Games Based on Subgame Types

15 years 10 months ago

Download www.cs.rice.edu

Cherif R. S. Andraos, Manal M. Zaky, Salma A. Ghon...

claim paper

Read More »

142

click to vote

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

15 years 10 months ago

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

claim paper

Read More »

137

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 10 months ago

Download web.engr.oregonstate.edu

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

claim paper

Read More »

146

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers