PLuTo

MaRDI QIDQ21601swMATHFDO

Official website http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.2361

Cited in

(11)

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• Reliable generation of high-performance matrix algebra
• Translation validation of coloured Petri net models of programs on integers
• Sufficient conditions for the determination and use of data in the same granular parallel computation process
• CompCertTSO
• DynTile
• PIPS
• Flamel
• SamaTulyata
• v2c
• Implementation of partial separability in a source-to-source transformation AD tool

This page was built for software: PLuTo