Search Sciweavers | Sciweavers

10870 search results - page 106 / 2174

» Model Checking Programs

click to vote

ICSE
2009
IEEE-ACM

94views Software Engineering» more ICSE 2009»

Automatic dimension inference and checking for object-oriented programs

14 years 11 months ago

Download suif.stanford.edu

Sudheendra Hangal, Monica S. Lam

claim paper

Read More »

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

14 years 1 months ago

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

click to vote

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

14 years 1 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

click to vote

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

13 years 10 months ago

Download www.ggcc.info

Guillem Marpons-Ucero, Julio Mariño, &Aacut...

claim paper

Read More »

click to vote

JHSN
2006

67views more JHSN 2006»

SPEE: A Secure Program Execution Environment tool using code integrity checking

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers