Search Sciweavers | Sciweavers

31686 search results - page 199 / 6338

» Resource typing in Guru

103

click to vote

AOSD
2007
ACM

96views Software Engineering» more AOSD 2007»

cJ: enhancing java with safe type conditions

15 years 9 months ago

Download www.cs.umass.edu

Shan Shan Huang, David Zook, Yannis Smaragdakis

claim paper

Read More »

108

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

Download www.cs.rice.edu

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

claim paper

Read More »

124

click to vote

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

15 years 8 months ago

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

claim paper

Read More »

116

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 8 months ago

Download web.engr.oregonstate.edu

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

claim paper

Read More »

123

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers