Search Sciweavers | Sciweavers

31686 search results - page 192 / 6338

» Resource typing in Guru

156

click to vote

TCS
2008

155views Theoretical Computer Science» more TCS 2008»

Abstract interpretation and types for systems biology

15 years 5 months ago

Download rewerse.net

Interpretation and Types for Systems Biology Fran

François Fages, Sylvain Soliman

claim paper

Read More »

116

click to vote

ENTCS
2002

80views more ENTCS 2002»

Strong Normalization with Singleton Types

15 years 5 months ago

Download www.doc.ic.ac.uk

This paper presents a new lambda-calculus with singleton types, called {}. The main novelty of

Judicaël Courant

claim paper

Read More »

199

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

16 years 5 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

215

click to vote

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

16 years 5 months ago

Download www.softlab.ntua.gr

Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...

claim paper

Read More »

111

click to vote

POPL
2010
ACM

224views Programming Languages» more POPL 2010»

Modular Verification of Security Protocol Code by Typing

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers