Search Results - Giacobazzi, Roberto

  • Showing 1 – 7 results of 7
Filter by
  1. 1
    Cover Image

    A general framework for semantics-based bottom-up abstract interpretation of logic programs
    by Barbuti, Roberto, Giacobazzi, Roberto, Levi, Giorgio 1942-

    Published 1991
    Book


    Saved in:
  2. 2
    Cover Image

    Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    by Giacobazzi, Roberto

    Published 2013
    Read online (LMU)

    Available at the library of LMU.

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

    History of abstract interpretation
    by Giacobazzi, Roberto, Ranzato, Francesco

    Published 2022
    Order via interlibrary loan
    Paper


    Saved in:
  4. 4
    Cover Image

    Leonardo artefice: dal disegno alla macchina : modelli dal Museo Leonardiano di Vinci
    by Giacobazzi, Roberto, Nanni, Romano, Cesari, Paola, Olivato, Loredana 1943-, Bentivoglio Fales, Marina

    Published 2010
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Static analysis: 31st international symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, proceedings

    Published 2025
    Other Authors: “…Giacobazzi, Roberto…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  6. 6
    Cover Image

    Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

    Published 2023
    Other Authors: “…Giacobazzi, Roberto…”
    Read online
    Electronic eBook


    Saved in:
  7. 7
    Cover Image

    Analysis, verification and transformation for declarative programming and intelligent systems: essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday

    Published 2023
    Other Authors: “…Giacobazzi, Roberto…”
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: