„Modular Logic Programming“

Suchergebnisse

11 Treffer

• Programming Languages and Systems – 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
  2023 Springer Berlin Heidelberg
• Programming Languages and Systems – 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
  Seidl, Helmut 2011 Springer Berlin Heidelberg
• Programming Language Abstractions for Modularly Verified Distributed Systems
  Wilcox, James R. ; Sergey, Ilya ; Tatlock, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Promoting Modular Nonmonotonic Logic Programs
  Krennwallner, Thomas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Incremental and Modular Context-Sensitive Analysis
  Garcia-Contreras, Isabel ; Morales, José F. ; Hermenegildo, Manuel V. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computational Artifacts – Towards a Philosophy of Computer Science
  Turner, Raymond 2018 Springer Berlin
• Programming languages and systems – proceedings
  Seidl, Helmut 2012 Springer
• Modularity and reusability in attribute grammars
  Kastens, Uwe ; Waite, W. M.
• Failures semantics and deadlocking of modular Petri nets
  Vogler, Walter
• An experience in proving regular networks of processes by modular model checking
  Halbwachs, Nicolas ; Lagnier, Fabienne ; Ratel, Christophe
• Modular logic programming of compilers
  Ganzinger, Harald ; Hanus, Michael 1984 Fachbereich Informatik d. Univ.