Search Sciweavers | Sciweavers

526 search results - page 14 / 106

» Towards the Verifying Compiler

click to vote

TOOLS
2008
IEEE

79views Programming Languages» more TOOLS 2008»

Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors

14 years 4 months ago

Download www.fernuni-hagen.de

Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...

Friedrich Steimann, Thomas Eichstädt-Engelen,...

claim paper

Read More »

click to vote

SAC
2004
ACM

90views Applied Computing» more SAC 2004»

Another step towards a smart compilation manager for Java

14 years 3 months ago

Download www.disi.unige.it

Giovanni Lagorio

claim paper

Read More »

click to vote

OOPSLA
2004
Springer

109views Security Privacy» more OOPSLA 2004»

Towards a framework for the general intensional programming compiler in the GIPSY

14 years 3 months ago

Download newton.cs.concordia.ca

Joey Paquet, Aihua Wu, Peter Grogono

claim paper

Read More »

click to vote

SAC
2003
ACM

73views Applied Computing» more SAC 2003»

Towards Differentiation-Enabled FORTRAN 95 Compiler Technology

14 years 2 months ago

Download ftp.mcs.anl.gov

Ï ÔÖ × ÒØ ÒÓÚ Ð ÔÔÖÓ ØÓ Ò Ö ØÒ ÖÚ ØÚ Ó ÓÖ Ñ Ø Ñ Ø Ð ÑÓ Ð× ÑÔÐ Ñ ÒØ × ÓÖØÖ Ò ÔÖÓ¹ Ö Ñ× Ù×Ò ÙØÓÑ Ø « Ö ÒØ ØÓÒ �...

Malcolm Cohen, Uwe Naumann, Jan Riehme

claim paper

Read More »

click to vote

ICTCS
2003
Springer

67views Theoretical Computer Science» more ICTCS 2003»

Towards a Smart Compilation Manager for Java

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers