Search Sciweavers | Sciweavers

3473 search results - page 64 / 695

» Aspect-Oriented Programming with C

click to vote

SCAM
2009
IEEE

167views Software Engineering» more SCAM 2009»

A Value Analysis for C Programs

15 years 10 months ago

Download www.dcs.kcl.ac.uk

Géraud Canet, Pascal Cuoq, Benjamin Monate

claim paper

Read More »

Voted

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

15 years 10 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper

Read More »

101

Voted

ASIAN
2007
Springer

114views Algorithms» more ASIAN 2007»

Compiling C Programs into a Strongly Typed Assembly Language

15 years 9 months ago

Download www.qatar.cmu.edu

Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...

claim paper

Read More »

105

Voted

SPIN
2007
Springer

97views Theoretical Computer Science» more SPIN 2007»

Instrumenting C Programs with Nested Word Monitors

15 years 9 months ago

Download www.cse.psu.edu

Swarat Chaudhuri, Rajeev Alur

claim paper

Read More »

104

click to vote

AICCSA
2006
IEEE

113views Hardware» more AICCSA 2006»

An Experiment in Automatic Conversion of Legacy Java Programs to C#

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers