swMATH9621MaRDI QIDQ21601FDOQ21601
Author name not available (Why is that?)
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
- Sufficient conditions for the determination and use of data in the same granular parallel computation process
- CompCertTSO
- DynTile
- PIPS
- Flamel
- SamaTulyata
- v2c
- Reliable generation of high-performance matrix algebra
- Translation validation of coloured Petri net models of programs on integers
- Implementation of partial separability in a source-to-source transformation AD tool
This page was built for software: PLuTo
