Search Sciweavers | Sciweavers

3273 search results - page 13 / 655

» types 2007

click to vote

IFM
2007
Springer

77views Formal Methods» more IFM 2007»

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

15 years 5 months ago

Download www.mpi-inf.mpg.de

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok...

claim paper

Read More »

click to vote

OOPSLA
2007
Springer

106views Security Privacy» more OOPSLA 2007»

Establishing object invariants with delayed types

15 years 5 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 5 months ago

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

Atsushi Igarashi, Mirko Viroli

claim paper

Read More »

click to vote

FOAL
2007
ACM

100views Natural Language Processing» more FOAL 2007»

Towards a type system for detecting never-matching pointcut compositions

15 years 3 months ago

Download www.cs.ucf.edu

Tomoyuki Aotani, Hidehiko Masuhara

claim paper

Read More »

101

click to vote

GFKL
2007
Springer

129views Data Mining» more GFKL 2007»

Structural Differentiae of Text Types - A Quantitative Model

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers