Search Sciweavers | Sciweavers

This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit deﬁ...

Bruno C. d. S. Oliveira, William R. Cook

claim paper

Read More »

144

Voted

ISORC
2002
IEEE

123views Distributed And Parallel Com...» more ISORC 2002»

Program Instrumentation for Debugging and Monitoring with AspectC++

15 years 9 months ago

Download www.aspectc.org

Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...

Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...

claim paper

Read More »

105

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

15 years 11 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper