„Program Semantics“

Suchergebnisse

553 Treffer

• 08251 Summary – Contextual and Social Media Understanding and Usage
  Boll, Susanne ; Kankanhalli, Mohan S. ; Pingali, Gopal ; Venkatesh, Svetha
• 08251 Abstracts Collection – Contextual and Social Media Understanding and Usage
  Boll, Susanne ; Kankanhalli, Mohan S. ; Pingali, Gopal ; Venkatesh, Svetha
• From Nondeterministic to Multi-Head Deterministic Finite-State Transducers (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Raszyk, Martin ; Basin, David A. ; Traytel, Dmitriy 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
  Barthe, Gilles ; Gordon, Andrew D. ; Katoen, Joost-Pieter ; McIver, Annabelle
• Learning any memory-less discrete semantics for dynamical systems represented by logic programs
  Ribeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; Inoue, Katsumi
• Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)
  Schmidt-Schauß, Manfred ; Sabel, David 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automated semantics-preserving parallel decomposition of finite component and connector architectures
  Kautz, Oliver ; Rumpe, Bernhard ; Wortmann, Andreas
• Draw mir a Sheep: A Supersense-based Analysis of German Case and Adposition Semantics
  Prange, Jakob ; Schneider, Nathan
• Ontology-Based Data Integration between Clinical and Research Systems
  Mate, Sebastian ; Köpcke, Felix ; Toddenroth, Dennis ; Martin, Marcus ; Prokosch, Hans-Ulrich ; Bürkle, Thomas ; Ganslandt, Thomas 2015 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Program Logics for Ledgers
  Melkonian, Orestis ; Swierstra, Wouter ; Chapman, James 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Normal Functors to Logarithmic Space Queries (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Nguyễn, Lê Thành Dũng ; Pradic, Cécilia 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Typed Compositional Quantum Computation with Lenses
  Garrigue, Jacques ; Saikawa, Takafumi 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
• A Linear Type System for L^p-Metric Sensitivity Analysis
  Sannier, Victor ; Baillot, Patrick 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs
  Barbarossa, Davide ; Pistone, Paolo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic
  Ehrhard, Thomas ; Faggian, Claudia ; Pagani, Michele 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Semigroups vs Automaton Semigroups (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Picantin, Matthieu 2019 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
• Defining Trace Semantics for CSP-Agda
  Igried, Bashar ; Setzer, Anton 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling Homogeneous Generative Meta-Programming
  Berger, Martin ; Tratt, Laurence ; Urban, Christian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik