Search Sciweavers | Sciweavers

15860 search results - page 219 / 3172

» On agent-based software engineering

106

Voted

AMAST
1997
Springer

122views Software Engineering» more AMAST 1997»

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements

15 years 7 months ago

Download www.jos.org.cn

Bart Jacobs

claim paper

Read More »

117

Voted

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

15 years 7 months ago

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

109

Voted

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

15 years 7 months ago

Download www.cs.ucla.edu

Naoki Kobayashi

claim paper

Read More »

138

click to vote

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

15 years 7 months ago

Download www.complang.tuwien.ac.at

Bernhard Scholz, Johann Blieberger, Thomas Fahring...

claim paper

Read More »

120

Voted

CSMR
1997
IEEE

89views Software Engineering» more CSMR 1997»

Year 2000

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers