„Abstract interpretation“

Suchergebnisse

218 Treffer

• Abstract interpretation of functional logic languages
  Hans, Werner ; Winkler, Stephan 1993 RWTH, Fachgruppe Informatik
• Live data structures in logic programs – derivation by means of abstract interpretation
  Mulkers, Anne 1993 Springer
• Aliasing and groundness analysis of logic programs through abstract interpretation and its safety
  Hans, Werner ; Winkler, Stephan 1992 RWTH, Fachgruppe Informatik
• An abstract interpretation algorithm for residuating logic programs
  Hanus, Michael 1992 MPI für Informatik
• ASO Visual Abstract: BREAST-Q REACT—Qualitative Assessment of the Design, Functionality, and Clinical Utility of a New Score Interpretation Tool
  Kim, Minji ; Gilliland, Jaime ; Parnes, Mei-fan ; Bruce, Cayla ; Stern, Carrie S. ; Allen, Robert J. ; Pusic, Andrea L. ; Tadros, Audree B. ; Nelson, Jonas A.
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin 2011 KIT Scientific Publ.
• Combining Model Reductions
  Camporesi, Ferdinanda ; Feret, Jérôme ; Koeppl, Heinz W. ; Petrov, Tatjana 2024 Universitäts- und Landesbibliothek
• Combining Model Reductions
  Camporesi, Ferdinanda ; Feret, Jérôme ; Koeppl, Heinz W. ; Petrov, Tatjana 2010 Bibliothek der Universität Konstanz
• Robustness verification of k-nearest neighbors by abstract interpretation
  Fassina, Nicolò ; Ranzato, Francesco ; Zanella, Marco
• Precise type analysis by abstract interpretation
  Knoop, Jens ; Golubski, Wolfgang 1996 Univ., Fak. für Math. und Informatik
• Verification of Erlang programs using abstract interpretation and model checking
  Huch, Frank Günter
• Reexecution in abstract interpretation of Prolog
  Le Charlier, Baudouin ; Hentenryck, Pascal Van
• Algebraic Power Analysis by Abstract Interpretation
  Mastroeni, Isabella
• Frameworks for abstract interpretation
  Marriott, Kim
• Considerations concerning flare interpretations – Extended abstract of an invited paper
  Meyer, Friedrich
• An Interpretation of a System of Abstract-Register Transformations
  Belyaev, A. K.
• Abstract Interpretation for Termination Analysis in Functional Active Databases
  Bailey, James ; Poulovassilis, Alexandra
• Abstract Entity Anaphora in Argumentative Texts – Pragmatic Features and Referent Interpretation
  2023 Springer Nature Singapore
• Trace-Based Abstract Interpretation of Operational Semantics
  Schmidt, David A.
• Erosional unconformity or non-deposition? An alternative interpretation of the Eocene seismic stratigraphy offshore Wilkes Land, East Antarctica
  Sauermilch, Isabel ; Whittaker, Joanne M. ; Totterdell, Jennifer ; Jokat, Wilfried 2017 Geophysical Research Abstracts