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

15 years 10 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

15 years 10 months ago

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

Atsushi Igarashi, Mirko Viroli

claim paper

Read More »

102

Voted

ADAEUROPE
2006
Springer

124views Software Engineering» more ADAEUROPE 2006»

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

15 years 10 months ago

Download www.adacore.com

Javier Miranda, Edmond Schonberg

claim paper

Read More »

112

click to vote

APLAS
2006
ACM

97views Programming Languages» more APLAS 2006»

Type Processing by Constraint Reasoning

15 years 10 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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers