Search Sciweavers | Sciweavers

31686 search results - page 199 / 6338

» Resource typing in Guru

click to vote

AOSD
2007
ACM

96views Software Engineering» more AOSD 2007»

cJ: enhancing java with safe type conditions

14 years 1 months ago

Download www.cs.umass.edu

Shan Shan Huang, David Zook, Yannis Smaragdakis

claim paper

Read More »

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

14 years 1 months ago

Download www.cs.rice.edu

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

claim paper

Read More »

click to vote

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

14 years 29 days ago

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

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

14 years 27 days ago

Download web.engr.oregonstate.edu

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

claim paper

Read More »

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

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

14 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers