„program semantics“

Suchergebnisse

1.000+ Treffer

• Bayesian Inference in Quantum Programs
  Gehnen, Christina ; Unruh, Dominique ; Katoen, Joost-Pieter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synthesized and inherited functions – A new computational model for syntax-directed semantics
  Kühnemann, Armin ; Vogler, Heiko
• Semantics in data and knowledge bases – 5th international workshop ; revised selected papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer
• New Frontiers in Artificial Intelligence – JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
  Motomura, Yoichi ; Butler, Alastair ; Bekki, Daisuke 2015 Springer International Publishing
• Semantics in Data and Knowledge Bases – 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer Berlin Heidelberg
• Optimal Regular Expressions for Permutations (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Molina Lovett, Antonio ; Shallit, Jeffrey O. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The denotational semantics of an object oriented programming language
  Hense, Andreas V. 2013 Saarländische Universitäts- und Landesbibliothek
• On the semantics and interpretation of rule based programs with static global variables
  Schmidt-Schauß, Manfred 1995 Fachbereich Informatik, Univ.
• Reconstructing a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2010 Universitätsbibliothek Johann Christian Senckenberg
• On the semantics and interpretation of rule based programs with static global variables
  Schmidt-Schauß, Manfred 1995 Univ.-Bibliothek Frankfurt am Main
• Program equivalence for a concurrent lambda calculus with futures
  Niehren, Joachim ; Sabel, David ; Schmidt-Schauß, Manfred ; Schwinghammer, Jan 2006 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
• 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
• Closures of may and must convergence for contextual equivalence
  Schmidt-Schauß, Manfred ; 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
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 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
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main