Sciweavers

4722 search results - page 12 / 945

» Representation-independent program analysis

24

PLDI
2000
ACM

89views Programming Languages» more PLDI 2000»

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

13 years 12 months ago

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

claim paper

Read More »

22

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

13 years 12 months ago

Contracts: From Analysis to C++ Implementation

Download www.swe.uni-linz.ac.at

Reinhold Plösch, Josef Pichler

claim paper

Read More »

19

IFIP
1998
Springer

81views Programming Languages» more IFIP 1998»

An analysis of retransmission strategies for reliable multicast protocols

13 years 12 months ago

An analysis of retransmission strategies for reliable multicast protocols

Download userver.ftw.at

M. Shuba, Peter Reichl

claim paper

Read More »

18

SIGADA
1998
Springer

109views Programming Languages» more SIGADA 1998»

Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis

13 years 12 months ago

Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis

Download www.sigada.org

Mike Mills, Greg Peterson

claim paper

Read More »

18

POPL
1996
ACM

105views Programming Languages» more POPL 1996»

A Modal Analysis of Staged Computation

13 years 11 months ago

A Modal Analysis of Staged Computation

Download reports-archive.adm.cs.cmu.edu

Rowan Davies, Frank Pfenning

claim paper

Read More »

« Prev « First page 12 / 945 Last » Next »