Search Sciweavers | Sciweavers

15777 search results - page 196 / 3156

» The Reformulation-Optimization Software Engine

click to vote

AMAST
1997
Springer

122views Software Engineering» more AMAST 1997»

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements

13 years 12 months ago

Download www.jos.org.cn

Bart Jacobs

claim paper

Read More »

click to vote

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

13 years 12 months ago

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

click to vote

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

13 years 12 months ago

Download www.cs.ucla.edu

Naoki Kobayashi

claim paper

Read More »

click to vote

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

13 years 12 months ago

Download www.complang.tuwien.ac.at

Bernhard Scholz, Johann Blieberger, Thomas Fahring...

claim paper

Read More »

click to vote

CSMR
1997
IEEE

89views Software Engineering» more CSMR 1997»

Year 2000

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers