Suchergebnisse - Giacobazzi, Roberto

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2013
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2022
    Paper


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2010
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Giacobazzi, Roberto …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Giacobazzi, Roberto …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Giacobazzi, Roberto …”
    Buch


    Gespeichert in:

Suchwerkzeuge: