„program semantics“

Suchergebnisse

553 Treffer

• Bisimilarity in Concurrent Constraint Programming
  Aristizabal P., Andres A. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tight Semantics for Logic Programs
  Pereira, Luis Moniz ; Pinto, Alexandre Miguel 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited
  Janhunen, Tomi 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Rewriting Logic Semantics Approach to Modular Program Analysis
  Hills, Mark ; Rosu, Grigore 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems
  Rodriguez-Hortala, Juan 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation
  Martini, Simone 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tracing Naming Semantics in Unit Tests of Popular Github Android Projects
  Madeja, Matej ; Porubän, Jaroslav 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective
  Asavoae, Mihail ; Maiza, Claire ; Raymond, Pascal 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Realisability and Adequacy for (Co)induction
  Berger, Ulrich 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of Persistent Programming (Dagstuhl Seminar 21462)
  Boehm, Hans-J. ; Lahav, Ori ; Raad, Azalea
• Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281)
  Guzdial, Mark ; Krishnamurthi, Shriram ; Sorva, Juha ; Vahrenhold, Jan
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042)
  Abramsky, Samson ; Kurz, Alexander ; Lescanne, Pierre ; Winschel, Viktor
• Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
  Borba, Paulo ; Cohen, Myra B. ; Legay, Axel ; Wasowski, Andrzej
• Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121)
  Fajstrup, Lisbeth ; Feichtner-Kozlov, Dmitry ; Herlihy, Maurice
• Foundations for Scripting Languages (Dagstuhl Seminar 12011)
  Hirschfeld, Robert ; Krishnamurthi, Shriram ; Vitek, Jan
• Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)
  Boehm, Hans J. ; Goltz, Ursula ; Hermanns, Holger ; Sewell, Peter
• Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections
  Rindarøy, Martin ; Nordahl, Håvard ; Sadjina, Severin ; Skjong, Stian ; Hagaseth, Marianne
• Ontology-based Application Integration on the User Interface Level
  Paulheim, Heiko
• Analysing Java's safety guarantees under concurrency
  Lochbihler, Andreas