„program semantics“

Suchergebnisse

553 Treffer

• Differentials and Distances in Probabilistic Coherence Spaces
  Ehrhard, Thomas 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Some Semantic Issues in Probabilistic Programming Languages (Invited Talk)
  Yang, Hongseok 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fully Abstract Models of the Probabilistic lambda-calculus
  Clairambault, Pierre ; Paquet, Hugo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Call-by-Name Gradual Type Theory
  New, Max S. ; Licata, Daniel R. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)
  Rosu, Grigore 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Probabilistic Programming (Invited Talk)
  Yang, Hongseok 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantitative Semantics for Probabilistic Programming (Invited Talk)
  Tasson, Christine 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Certified Study of a Reversible Programming Language
  Paolini, Luca ; Piccolo, Mauro ; Roversi, Luca 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coalgebras and Higher-Order Computation: a GoI Approach
  Hasuo, Ichiro 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DynSem: A DSL for Dynamic Semantics Specification
  Vergu, Vlad ; Neron, Pierre ; Visser, Eelco 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reasoning About Distributed Systems: WYSIWYG (Invited Talk)
  Cyriac, Aiswarya ; Gastin, Paul 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Answer Set Programming with External Sources
  Redl, Christoph 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logic Programming in Tabular Allegories
  Gallego Arias, Emilio Jesús ; B. Lipton, James 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Tarskian Informal Semantics for Answer Set Programming
  Denecker, Marc ; Lierler, Yuliya ; Truszczynski, Miroslaw ; Vennekens, Joost 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs
  You, Jia-Huai ; Morris, John ; Bi, Yi 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions
  Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Concurrent Operational Semantics for Constraint Functional Logic Programming
  del Vado Vírseda, Rafael ; Pérez Morente, Fernando ; García Toledo, Marcos Miguel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stable Models of Formulas with Generalized Quantifiers (Preliminary Report)
  Lee, Joohyung ; Meng, Yunsong 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Correct Reasoning about Logic Programs
  Kriener, Jael 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars
  Kochems, Jonathan ; Ong, C.H. Luke 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik