„Abstract Interpretation“

Suchergebnisse

218 Treffer

• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• Programming languages and systems – 8th Asian symposium ; proceedings
  Ueda, Kazunori 2010 Springer
• Olivier Debré – Debré og Lærdal = Debré et Lærdal = Debré and Lærdal
  Christensen, Haaken A. ; Debré, Olivier 1991 Dreyer
• A descriptive Mode Inference for Logic Programs
  Ntienjem, Ebénézer 2006 Universität Augsburg
• Interpretation in Empirical Studies of Literature and Media [Abstract]
  Moser, Sibylle
• Interpretationsverhältnisse entfalten. Vorschläge zur Analyse und Kritik literaturwissenschaftlicher Bedeutungszuweisungen [Abstract]
  Zabka, Thomas
• Intention and Interpretation [Abstract]
  Stecker, Robert
• Interpretation: Struktur und Evaluation in handlungstheoretischer Perspektive [Abstract]
  Dennerlein, Christoph ; Köppe, Tilmann ; Werner, Jan C.
• Verification, model checking, and abstract interpretation – 10th international conference ; proceedings
  Jones, Neil D. 2009 Springer
• Abstract interpretation of graph grammars
  Bauer, Jörg ; Wilhelm, Reinhard 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Static Analysis of Software – The Abstract Interpretation
  Boulanger, Jean-Louis 2013 John Wiley & Sons
• Towards putting abstract interpretation of prolog into practice – design, implementation, and evaluation of a tool to verify and optimise prolog programs
  Gobert, François 2008 VDM Verlag Dr. Müller
• Verification, model checking, and abstract interpretation – 9th international conference ; proceedings
  Logozzo, Francesco 2008 Springer
• Static Analysis of Software – The Abstract Interpretation
  Boulanger, Jean-Louis 2013 John Wiley & Sons
• Verification, model checking, and abstract interpretation – 16th international conference ; proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2015 Springer
• Verification, model checking, and abstract interpretation – 7th international conference ; proceedings
  Emerson, E. Allen 2006 Springer
• A program analysis framework for tccp based on abstract interpretation
  Comini, Marco ; Gallardo, María-del-Mar ; Titolo, Laura ; Villanueva, Alicia
• Minimal subfamilies and the probabilistic interpretation for modulus on graphs
  Albin, Nathan ; Poggi-Corradini, Pietro