„higher-order programming“

Suchergebnisse

1.000+ Treffer

• Higher-order theory of mind is especially useful in unpredictable negotiations
  Weerd, Harmen ˜deœ ; Verbrugge, Rineke ; Verheij, Bart
• Solving higher order equations – from logic to programming
  Prehofer, Christian 1995 Inst. für Informatik
• A foundation for higher-order concurrent constraint programming
  Smolka, Gert 2011 Saarländische Universitäts- und Landesbibliothek
• A calculus for higher-order concurrent constraint programming with deep guards
  Smolka, Gert 2011 Saarländische Universitäts- und Landesbibliothek
• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
  Giarrusso, Paolo G. ; Ostermann, Klaus 2020 Universitätsbibliothek Tübingen
• Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
  Bulwahn, Lukas ; Nipkow, Tobias ; Runciman, Colin 2013 Universitätsbibliothek der TU München
• Typed open programming – a higher-order, typed approach to dynamic modularity and distribution
  Rossberg, Andreas
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Languages and Systems – 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
  2023 Springer Berlin Heidelberg
• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 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
• Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  Kuchen, Herbert 2011 Springer Berlin Heidelberg
• Higher order process engineering
  Neubauer, Johannes ; Steffen, Bernhard ; Hinchey, Mike 2014 Universitätsbibliothek Dortmund
• Programming higher-order receptor clustering driven by DNA logic circuits for precise and efficient cell behavior modulation
  Wu, Yuchen ; Qi, Lanlin ; Zhang, Bin ; He, Hui ; Chen, Mingjian ; Liu, Lamei ; Zhou, Yan ; He, Lin ; Zhang, Min ; Wang, Kemin ; Wang, Hong-Hui ; He, Xiaoxiao
• Leveraging ChatGPT for personalized reflective learning in programming education: effects on self-efficacy, higher-order thinking, and project implementation skills
  Lee, Hsin-Yu ; Chen, Pei-Hua ; Lin, Chia-Ju ; Huang, Yueh-Min ; Wu, Ting-Ting
• Language Support for Programming High-Performance Code
  Leißa, Roland ; Hack, Sebastian 2017 Saarländische Universitäts- und Landesbibliothek
• Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III
  Steen, Alexander