Sciweavers

4719 search results - page 12 / 944

» Newtonian program analysis

93

Voted

SIGADA
1998
Springer

109views Programming Languages» more SIGADA 1998»

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

15 years 7 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 »

88

Voted

POPL
1996
ACM

105views Programming Languages» more POPL 1996»

A Modal Analysis of Staged Computation

15 years 6 months ago

A Modal Analysis of Staged Computation

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

Rowan Davies, Frank Pfenning

claim paper

Read More »

88

Voted

POPL
1996
ACM

82views Programming Languages» more POPL 1996»

Points-to Analysis in Almost Linear Time

15 years 6 months ago

Points-to Analysis in Almost Linear Time

Download www.cs.utsa.edu

Bjarne Steensgaard

claim paper

Read More »

109

Voted

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 6 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

92

Voted

TOOLS
1993
IEEE

93views Programming Languages» more TOOLS 1993»

Object-Oriented Analysis and Design

15 years 6 months ago

Object-Oriented Analysis and Design

Download www.utdallas.edu

Teri Roberts

claim paper

Read More »

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