Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

32

TOOLS
1999
IEEE

favoriteEmaildiscussreport

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

14 years 3 months ago

Contracts: From Analysis to C++ Implementation

Download www.swe.uni-linz.ac.at

Reinhold Plösch, Josef Pichler

Real-time Traffic

Programming Languages | TOOLS 1999 |

claim paper

Related Content

» Checking correctness of business contracts via commitments

» Contracts Made Manifest

» Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java

» Interactive scalable declarative program analysis from prototype to implementation

» Model Checking of Concurrent Algorithms From Java to C

» Protecting C programs from attacks via invalid pointer dereferences

» Shape Analysis of LowLevel C with Overlapping Structures

» A Formal Framework for Design Component Contracts

» Secret keys from entangled sensor motes implementation and analysis

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	TOOLS
Authors	Reinhold Plösch, Josef Pichler

Comments (0)