„Programming Language.“

Suchergebnisse

8.545 Treffer

• Consistency management in industrial continuous model-based development settings: a reality check
  Jongeling, Robbert ; Ciccozzi, Federico ; Carlson, Jan ; Cicchetti, Antonio
• Modelling the interplay of security, privacy and trust in sociotechnical systems: a computer-aided design approach
  Salnitri, Mattia ; Angelopoulos, Konstantinos ; Pavlidis, Michalis ; Diamantopoulou, Vasiliki ; Mouratidis, Haralambos ; Giorgini, Paolo
• The linear landscape of external contextual languages
  Ehrenfeucht, Andrzej ; Păun, Gheorghe ; Rozenberg, Grzegorz
• A feature-based survey of model view approaches
  Bruneliere, Hugo ; Burger, Erik ; Cabot, Jordi ; Wimmer, Manuel
• Distinguishing extended finite state machine configurations using predicate abstraction
  El-Fakih, Khaled ; Yevtushenko, Nina ; Bozga, Marius ; Bensalem, Saddek
• How to automatically turn patient experience free-text responses into actionable insights: a natural language programming (NLP) approach
  Cammel, Simone A. ; Vos, Marit S. De ; Soest, Daphne van ; Hettne, Kristina M. ; Boer, Fred ; Steyerberg, Ewout W. ; Boosman, Hileen
• Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy
  Lennon, Brian
• Languages and Compilers for Parallel Computing – 36th International Workshop, LCPC 2023, Lexington, KY, USA, October 11–13, 2023, Revised Selected Papers
  Dietz, Henry 2026 Springer Nature Switzerland, Imprint: Springer
• Automated synthesis of local time requirement for service composition
  André, Étienne ; Tan, Tian Huat ; Chen, Manman ; Liu, Shuang ; Sun, Jun ; Liu, Yang ; Dong, Jin Song
• On generic context lemmas for lambda calculi with sharing
  Schmidt-Schauß, Manfred ; Sabel, David 2007 Univ.-Bibliothek Frankfurt am Main
• On generic context lemmas for lambda calculi with sharing
  Schmidt-Schauß, Manfred ; Sabel, David 2007 Univ.-Bibliothek Frankfurt am Main
• A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
  Schmidt-Schauß, Manfred ; Machkasova, Elena 2008 Univ.-Bibliothek Frankfurt am Main
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• On generic context lemmas for lambda calculi with sharing
  Schmidt-Schauß, Manfred ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• From Code to Computation – A Modern Guide to Programming and Theory
  Lonnert, Set 2026 BoD – Books on Demand – Schweden
• IHP: a dynamic heterogeneous parallel scheme for iterative or time-step methods—image denoising as case study
  Laso, Ruben ; Cabaleiro, José C. ; Fernández-Rivera, Francisco ; Muñiz, M. Carmen ; Álvarez-Dios, José A.
• From turtles to Tangible Programming Bricks: explorations in physical language design
  McNerney, Timothy S.
• Universal parameter language for the programming of numerical controlled machines
  Gonçalves, M. A. F. ; Lorini, F. J. ; Benetti, C. ; Eckhardt, M. ; Scheuer, C. J.
• AI and the Origins of the Functional Programming Language Style
  Priestley, Mark
• Gottlob Frege – Vordenker unserer digitalen Welt
  Framm, Edith ; Framm, Joachim ; Schott, Dieter 2025 Springer