Search Sciweavers | Sciweavers

31686 search results - page 136 / 6338

» Resource typing in Guru

click to vote

OOPSLA
2007
Springer

106views Security Privacy» more OOPSLA 2007»

Establishing object invariants with delayed types

14 years 3 months ago

Download research.microsoft.com

Manuel Fähndrich, Songtao Xia

claim paper

Read More »

click to vote

OOPSLA
2007
Springer

81views Security Privacy» more OOPSLA 2007»

Variant path types for scalable extensibility

14 years 3 months ago

Download www.sato.kuis.kyoto-u.ac.jp

Atsushi Igarashi, Mirko Viroli

claim paper

Read More »

click to vote

ADAEUROPE
2006
Springer

124views Software Engineering» more ADAEUROPE 2006»

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

14 years 3 months ago

Download www.adacore.com

Javier Miranda, Edmond Schonberg

claim paper

Read More »

click to vote

APLAS
2006
ACM

97views Programming Languages» more APLAS 2006»

Type Processing by Constraint Reasoning

14 years 3 months ago

Download ww2.cs.mu.oz.au

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny

claim paper

Read More »

click to vote

SAC
2006
ACM

91views Applied Computing» more SAC 2006»

Introducing safe unknown types in Java-like languages

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers