Sciweavers

15885 search results - page 204 / 3177

» The Modest Software Engineer

98

IWSM
2000
Springer

109views Software Engineering» more IWSM 2000»

Extraction of Function-Points from Source-Code

15 years 7 months ago

Extraction of Function-Points from Source-Code

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

Harry M. Sneed

claim paper

Read More »

101

AMAST
1997
Springer

122views Software Engineering» more AMAST 1997»

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements

15 years 7 months ago

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements

Download www.jos.org.cn

Bart Jacobs

claim paper

Read More »

113

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

15 years 7 months ago

The Second Futamura Projection for Type-Directed Partial Evaluation

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

102

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

15 years 7 months ago

Type-Based Useless Variable Elimination

Download www.cs.ucla.edu

Naoki Kobayashi

claim paper

Read More »

137

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

15 years 7 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 204 / 3177 Last » Next »