„type abstraction“

Suchergebnisse

1.000+ Treffer

• Capture of NO by a Frustrated Lewis Pair: A New Type of Persistent N ‐Oxyl Radical †
  Cardenas, Allan Jay P. ; Culotta, Brooks J. ; Warren, Timothy H. ; Grimme, Stefan ; Stute, Annika ; Fröhlich, Roland ; Kehr, Gerald ; Erker, Gerhard
• The role of spatial structure in problem solving: analysis at an information type level of abstraction
  Wienemann, Rasmus ; Schultheis, Holger ; Bertel, Sven 2021 Staats- und Universitätsbibliothek Bremen
• Specification and verification of dynamic topology systems – on the applicability of query- and data-type-reduction-based abstractions
  Westphal, Bernd
• Increasing software quality of JavaScript programs – an approach based on type systems = Verbesserung der Software Qualität von JavaScript Programmen
  Heidegger, Phillip ; Thiemann, Peter 2013 Universität
• Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
  Kunčar, Ondřej ; Nipkow, Tobias ; Paulson, Lawrence C. 2016 Universitätsbibliothek der TU München
• Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact)
  Botelho Guerra, Henrique ; Ferreira, João F. ; Costa Seco, João
• Type Abstraction for Relaxed Noninterference (Artifact)
  Cruz, Raimil ; Rezk, Tamara ; Serpette, Bernard ; Tanter, Éric
• Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
  Botelho Guerra, Henrique ; Ferreira, João F. ; Costa Seco, João 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques
  Prebet, Enguerrand 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Functional Abstraction of Typed Invocation Contexts
  Cong, Youyou ; Ishio, Chiaki ; Honda, Kaho ; Asai, Kenichi 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Type Abstraction for Relaxed Noninterference
  Cruz, Raimil ; Rezk, Tamara ; Serpette, Bernard ; Tanter, Éric 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Language Abstractions for Modularly Verified Distributed Systems
  Wilcox, James R. ; Sergey, Ilya ; Tatlock, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Explaining Data Type Reduction in the Shape Analysis Framework
  Wachter, Björn 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Highly Efficient n‐Doping via Proton Abstraction of an Acceptor 1 ‐Acceptor 2 Alternating Copolymer toward Thermoelectric Applications
  Hochgesang, Adrian ; Erhardt, Andreas ; Mohanraj, John ; Kuhn, Meike ; Herzig, Eva M. ; Olthof, Selina ; Thelakkat, Mukundan
• Minimum energy path equation for A+BC→AB+C type hydrogen atom abstraction reactions
  Bérces, T. ; Dombi, J.
• Restructuring a compiler by abstract data types – an experiment in using data abstractions for software modularization
  Bothe, Klaus 1981 Sekt. Mathematik d. Humboldt-Universität
• INSPIRE2GPKG
  Retterath, Armin 2024 KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -
• Conceptual modelling: Towards detecting modelling errors in engineering applications
  Gürlebeck, Klaus ; Legatiuk, Dmitrii ; Nilsson, Henrik ; Smarsly, Kay 2019 Bauhaus-Universität Weimar
• DFT studies of solvent effect in hydrogen abstraction reactions from different allyl-type monomers with benzoyl radical
  Zhao, Xiaotian ; Li, YaMing ; Lin, Shibo ; Liu, Chun ; Guo, Xirui ; Li, Xuanhao ; He, Lihui ; Chen, Xi ; Ye, Guodong
• Programming with JAVA – JAVA PROGRAMMING
  Singh, Ummed 2023 BookRix