scientific article; zbMATH DE number 3463168
From MaRDI portal
Publication:4048580
Cited in
(5)- Simple section interchange and properties of non-computable functions
- Correctness of parallel programs: The Church-Rosser approach
- The method of attributes for data flow analysis. I: Exhaustive analysis
- Syntactic and semantic soundness of structural dataflow analysis
- Finite constants: Characterizations of a new decidable set of constants
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4048580)
