Sciweavers

15783 search results - page 235 / 3157

» Evidence-Based Software Engineering

147

Voted

IWSM
2000
Springer

109views Software Engineering» more IWSM 2000»

Extraction of Function-Points from Source-Code

15 years 10 months ago

Extraction of Function-Points from Source-Code

Download sel.ics.es.osaka-u.ac.jp

Harry M. Sneed

claim paper

Read More »

142

AMAST
1997
Springer

122views Software Engineering» more AMAST 1997»

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements

15 years 10 months ago

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements

Download www.jos.org.cn

Bart Jacobs

claim paper

Read More »

158

Voted

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

15 years 10 months ago

The Second Futamura Projection for Type-Directed Partial Evaluation

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

153

Voted

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

15 years 10 months ago

Type-Based Useless Variable Elimination

Download www.cs.ucla.edu

Naoki Kobayashi

claim paper

Read More »

175

Voted

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

15 years 10 months ago

Symbolic Pointer Analysis for Detecting Memory Leaks

Download www.complang.tuwien.ac.at

Bernhard Scholz, Johann Blieberger, Thomas Fahring...

claim paper

Read More »

« Prev « First page 235 / 3157 Last » Next »