Suchergebnisse - "Semantics of Programming Languages— Program Analysis"
-
1
DETECTION OF SCANS
ISSN: 1063-7192Veröffentlicht: Taylor & Francis Group 01.12.2000Veröffentlicht in Parallel algorithms and applications (01.12.2000)“… Most automatic parallelizes are based on the detection of independent operations. Dependence analysis is mainly a syntactical process, in which the actual data …”
Volltext
Journal Article -
2
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
ISBN: 303045231X, 9783030452315, 3030452301, 9783030452308Veröffentlicht: Cham Springer Nature 2020“… ; semantics of programming languages; program analysis, correctness, transformation, and verification …”
Volltext
E-Book -
3
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Veröffentlicht: Cham Springer Nature 2020“… ; semantics of programming languages; program analysis, correctness, transformation, and verification …”
Volltext
E-Book

