„program semantics“

Suchergebnisse

553 Treffer

• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin
• Computational Artifacts – Towards a Philosophy of Computer Science
  Turner, Raymond 2018 Springer Berlin
• Logical Aspects of Computational Linguistics – celebrating 20 years of LACL (1996-2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016 : proceedings
  Amblard, Maxime ; Groote, Philippe ˜deœ ; Pogodalla, Sylvain ; Retoré, Christian 2016 Springer
• The Science of Quantitative Information Flow
  Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle ; Morgan, Carroll ; Palamidessi, Catuscia ; Smith, Geoffrey S. 2020 Springer International Publishing
• Mathematical foundations of programming semantics
  1994 Springer
• Larisa Maksimova on Implication, Interpolation, and Definability
  Odincov, Sergej P. 2018 Springer International Publishing
• Neighborhood Semantics for Modal Logic
  Pacuit, Eric 2017 Springer International Publishing
• Generalized Jeffrey Conditionalization – A Frequentist Semantics of Partial Conditionalization
  Draheim, Dirk 2017 Springer International Publishing
• A Minimalist View on the Syntax–Semantics Relationship – Turning the Mind into a Snowflake
  Jakielaszek, Jarosław 2017 Peter Lang GmbH, Internationaler Verlag der Wissenschaften
• A minimalist view on the syntax–semantics relationship – turning the mind into a snowflake
  Jakielaszek, Jarosław 2017 Peter Lang Edition
• Fundamental approaches to software engineering – 20th international conference : FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
  Huisman, Marieke ; Rubin, Julia 2017 Springer
• Interfaces + Recursion = Language? – Chomsky's Minimalism and the View from Syntax-Semantics
  Sauerland, Uli ; Gärtner, Hans-Martin 2007 De Gruyter
• Interfaces + recursion – = language? : Chomsky's minimalism and the view from syntax semantics
  Sauerland, Uli 2007 Mouton de Gruyter
• Logic-Based Program Synthesis and Transformation – 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
  Gupta, Gopal ; Peña, Ricardo 2014 Springer International Publishing
• Concrete Semantics – With Isabelle/HOL
  2014 Springer International Publishing
• UML 2 Semantics and Applications
  Lano, Kevin 2009 John Wiley & Sons
• Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
  Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
• Programming Languages and Systems – 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
  2014 Springer International Publishing
• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• Logic, language, information and computation – 21st international workshop ; proceedings
  Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy J. G. B. ˜deœ 2014 Springer