Search Results - "Semantics of Programming Languages—Program Analysis"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

    DETECTION OF SCANS by REDON, XAVIER, FEAUTRIER, PAUL

    ISSN: 1063-7192
    Published: Taylor & Francis Group 01.12.2000
    Published 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    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 by Goubault-Larrecq, Jean, König, Barbara

    ISBN: 303045231X, 9783030452315, 3030452301, 9783030452308
    Published: Cham Springer Nature 2020
    “…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
    Get full text
    eBook
    Save to List
    Saved in:
  3. 3
    Cover Image

    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

    Published: Cham Springer Nature 2020
    “…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
    Get full text
    eBook
    Save to List
    Saved in:

Search Tools: