Search Sciweavers | Sciweavers

3273 search results - page 13 / 655

» types 2007

117

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 10 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 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 »

110

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 8 months ago

Download www.cs.ucf.edu

Tomoyuki Aotani, Hidehiko Masuhara

claim paper

Read More »

139

click to vote

GFKL
2007
Springer

129views Data Mining» more GFKL 2007»

Structural Differentiae of Text Types - A Quantitative Model

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers