„program semantics“

Suchergebnisse

553 Treffer

• Programming Logics – Essays in Memory of Harald Ganzinger
  Voronkov, Andrei ; Ganzinger, Harald ; Weidenbach, Christoph 2013 Springer Berlin Heidelberg
• Composable message semantics in object oriented programming languages
  Hof, Markus A. 2000 Trauner
• Probabilistic Semantic Web – reasoning and learning
  Zese, Riccardo 2017 IOS Press
• Programming logics – essays in memory of Harald Ganzinger
  Voronkov, Andrei ; Ganzinger, Harald ; Weidenbach, Christoph 2013 Springer
• Foundations of Software Science and Computation Structures – 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Pfenning, Frank 2013 Springer Berlin Heidelberg
• Foundations of software science and computation structures – 16th international conference ; proceedings
  Pfenning, Frank 2013 Springer
• Semantics and logic of higher order processes – characterizing late context bisimulation
  Baldamus, Michael
• Semantics in the organisation of knowledge – A programmed text for students of information retrieval
  MacGarry, Kevin John ; Burrell, Thomas William 1972 Bingley
• Unifying theories of programming – 4th international symposium ; revised selected papers
  Wolff, Burkhart ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane 2013 Springer
• Semantics of sequential and parallel programs – [translation]
  Best, Eike 1996 Prentice Hall
• Design of a Formal Estelle Semantics for Verification
  Bredereke, Jan ; Gotzhein, Reinhard ; Vogt, F. H. 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Theoretical Aspects of Computing – ICTAC 2012 – 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
  Roychoudhury, Abhik ; D'Souza, Meenakshi 2012 Springer Berlin Heidelberg
• Theoretical aspects of computing – 9th international colloquium ; proceedings
  Roychoudhury, Abhik ; D'Souza, Meenakshi 2012 Springer
• Logic, language, information and computation – 19th international workshop ; proceedings
  Ong, Luke ; de Queiroz, Ruy 2012 Springer
• Logic-based program synthesis and transformation – 21st international symposium ; revised selected papers
  Vidal, Germán 2012 Springer
• Programming multi-agents systems – 9th international Workshop ; revised selected papers
  Dennis, Louise ; Boissier, Olivier ; Bordini, Rafael H. 2012 Springer
• Mechanized semantics of simple imperative programming constructs
  Dold, Axel 1996 Univ., Fak. für Informatik
• The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA
  Ben Brahim, Monia ; Chaari, Tarak ; Ben Jemaa, Maher ; Jmaiel, Mohamed
• “Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
  Virbitskaite, I. B. ; Borovlev, V. A. ; Popova-Zeugmann, L.
• Foundations of software science and computational structures – 15th international conference ; proceedings
  Birkedal, Lars 2012 Springer