Search Sciweavers | Sciweavers

31686 search results - page 154 / 6338

» Resource typing in Guru

click to vote

FOAL
2007
ACM

100views Natural Language Processing» more FOAL 2007»

Towards a type system for detecting never-matching pointcut compositions

14 years 1 months ago

Download www.cs.ucf.edu

Tomoyuki Aotani, Hidehiko Masuhara

claim paper

Read More »

click to vote

GFKL
2007
Springer

129views Data Mining» more GFKL 2007»

Structural Differentiae of Text Types - A Quantitative Model

14 years 1 months ago

Download wwwhomes.uni-bielefeld.de

Olga Pustylnikov, Alexander Mehler

claim paper

Read More »

click to vote

ICALP
2009
Springer

103views Programming Languages» more ICALP 2009»

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

14 years 1 months ago

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

click to vote

CSR
2006
Springer

68views Theoretical Computer Science» more CSR 2006»

Polarized Subtyping for Sized Types

14 years 25 days ago

Download www2.tcs.ifi.lmu.de

Andreas Abel

claim paper

Read More »

click to vote

FLOPS
2006
Springer

132views Automated Reasoning» more FLOPS 2006»

Ruler: Programming Type Rules

14 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers