„Programming Language.“

Suchergebnisse

8.545 Treffer

• DrumLace - A Domain Specific Language (DSL) for Drum Programming (Short Paper)
  Araújo, André Semanas de Oliveira ; de Almeida, José João Dias ; Henriques, Pedro Rangel 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Domain-Specific Language for Dynamic White-Box Evaluation of Java Assignments
  B. Caniço, Afonso ; Santos, André L. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hedy: An Inclusive, Multi-Lingual, and Gradual Programming Language (Invited Talk)
  Hermans, Felienne 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compiling with Arrays
  Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• HOBBIT: Hashed OBject Based InTegrity
  Bernad, Matthias ; Brunthaler, Stefan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Behavioural Up/down Casting For Statically Typed Languages
  Bacchiani, Lorenzo ; Bravetti, Mario ; Giunti, Marco ; Mota, João ; Ravara, António 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
  Arvay, Barnabas ; Doan, Thi Thu Ha ; Thiemann, Peter 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Combining Constraint Programming Reasoning with Large Language Model Predictions
  Régin, Florian ; De Maria, Elisabetta ; Bonlarron, Alexandre 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Modelling with LLMs Using In-Context Learning
  Michailidis, Kostis ; Tsouros, Dimos ; Guns, Tias 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
  Chardonnet, Kostia ; Lemonnier, Louis ; Valiron, Benoît 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• QBF Programming with the Modeling Language Bule
  Jung, Jean Christoph ; Mayer-Eichberger, Valentin ; Saffidine, Abdallah 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Completeness of Graphical Languages for Mixed States Quantum Mechanics (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Carette, Titouan ; Jeandel, Emmanuel ; Perdrix, Simon ; Vilmart, Renaud 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mixing Metaphors: Actors as Channels and Channels as Actors
  Fowler, Simon ; Lindley, Sam ; Wadler, Philip 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polish Python: A Short Report from a Short Experiment
  Swacha, Jakub 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451)
  Aßmann, Uwe ; Hendren, Laurie ; Ryder, Barbara ; Tip, Frank 2001 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Programming Language Embedded in Magic: The Gathering
  Yin, Howe Choong ; Churchill, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compiling with Arrays (Artifact)
  Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira
• Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051)
  Balzer, Stephanie ; Carbone, Marco ; Kuhn, Roland ; Thiemann, Peter
• Programming Time-Predictable Processors with Lingua Franca
  Mæhlum, Magnus ; Jellum, Erling Rennemo ; Lin, Shaokai ; Lohstroh, Marten ; Schöberl, Martin ; Hendseth, Sverre ; Lee, Edward A. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Rewriting Theory for Quantum λ-Calculus
  Faggian, Claudia ; Lopez, Gaetan ; Valiron, Benoît 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik