Search Sciweavers | Sciweavers

656 search results - page 15 / 132

» Parameterized Types for Java

click to vote

TOPLAS
2008

89views more TOPLAS 2008»

Types for atomicity: Static checking and inference for Java

13 years 7 months ago

Download slang.soe.ucsc.edu

Cormac Flanagan, Stephen N. Freund, Marina Lifshin...

claim paper

Read More »

click to vote

JOT
2007

65views more JOT 2007»

A Formal Type System for Java

13 years 7 months ago

Download www.jot.fm

Mourad Debbabi, M. Fourati

claim paper

Read More »

click to vote

CONCURRENCY
2000

96views more CONCURRENCY 2000»

Locality optimization in JavaParty by means of static type analysis

13 years 7 months ago

Download www2.informatik.uni-erlangen.de

Michael Philippsen, Bernhard Haumacher

claim paper

Read More »

click to vote

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

13 years 5 months ago

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

click to vote

CGF
2004

92views more CGF 2004»

Para-Graph: Graph-Based Parameterization of Triangle Meshes with Arbitrary Genus

13 years 7 months ago

Download www.ima.ge.cnr.it

This paper describes a novel approach to the parameterization of triangle meshes representing 2-manifolds with an arbitrary genus. A topology-based decomposition of the shape is c...

Giuseppe Patanè, Michela Spagnuolo, Bianca ...

claim paper

Read More »

« Prev « First page 15 / 132 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers