Treffer 1 - 20 von 23 für Suche 'Hermenegildo, Manuel V.', Suchdauer: 0,36s Treffer weiter einschränken
  1. 1
    A restricted AND-parallel execution model and abstract machine for PROLOG programs
    von Hermenegildo, Manuel V.
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    An abstract machine for restricted AND-parallel execution of logic programs
    von Hermenegildo, Manuel V.
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Programming language implementation and logic programming : 6th International Symposium, Madrid, Spain, September 14 - 16, 1994; proceedings
    Veröffentlicht 1994
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Programming languages: implementations, logics and programs : 7th international symposium; proceedings
    Veröffentlicht 1995
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Efficient management of backtracking in AND-parallelism
    von Hermenegildo, Manuel V.
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Veröffentlicht 2020
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Static analysis : 9th international symposium ; proceedings
    Veröffentlicht 2002
    Inhaltsverzeichnis
    Kapitel 1
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Incremental Analysis of Logic Programs with Assertions and Open Predicates
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Static analysis : 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings
    Veröffentlicht 2023
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Towards Incremental and Modular Context-Sensitive Analysis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Goal scheduling and memory management in parallel logic systems
    von Hermenegildo, Manuel V.
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Veröffentlicht 2010
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    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
    Full Text
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Testing Your (Static Analysis) Truths
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    An Integrated Approach to Assertion-Based Random Testing in Prolog
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers
    Veröffentlicht 2017
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10 - 11, 2005 ; proceedings
    Veröffentlicht 2005
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Volltext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Towards Static Performance Guarantees for Programs with Run-Time Checks
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Computing Abstract Distances in Logic Programs
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Prolog : the next 50 years
    Veröffentlicht 2023
    Cover
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: