ECEASST 2006 | Sciweavers

25

click to vote

ECEASST
2006

62views more ECEASST 2006»

Automation of Java Code Analysis for Programming Exercises

13 years 11 months ago

Download zfh.uni-duisburg-essen.de

Carsten Köllmann, Michael Goedicke

claim paper

Read More »

38

click to vote

ECEASST
2006

72views more ECEASST 2006»

ENFORCe: A System for Ensuring Formal Correctness of High-level Programs

13 years 11 months ago

Download formale-sprachen.informatik.uni-oldenburg.de

Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...

Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...

claim paper

Read More »

38

click to vote

ECEASST
2006

305views more ECEASST 2006»

The ParMol Package for Frequent Subgraph Mining

13 years 11 months ago

Download kops.ub.uni-konstanz.de

Mining for frequent subgraphs in a graph database has become a popular topic in the last years. Algorithms to solve this problem are used in chemoinformatics to find common molecul...

Thorsten Meinl, Marc Wörlein, Olga Urzova, In...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers