„program semantics“

Suchergebnisse

553 Treffer

• Time in Natural Language – Syntactic Interfaces with Semantics and Discourse
  Thompson, Ellen 2005 De Gruyter
• Computation of Language – An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication
  Hausser, Roland 1989 Springer New York
• Algebraic Approaches to Program Semantics
  Manes, Ernest G. ; Arbib, Michael A. 1986 Springer New York
• Predicate Calculus and Program Semantics
  Dijkstra, Edsger W. ; Scholten, Carel S. 1990 Springer New York
• Predicate calculus and program semantics
  Dijkstra, Edsger W. ; Scholten, Carel S. 1990 Springer
• Computation of language – an essay on syntax, semantics and pragmatics in natural man-machine communication
  Hausser, Roland 1989 Springer
• Algebraic approaches to program semantics
  Manes, Ernest G. ; Arbib, Michael A. 1986 Springer
• Theory of program structures – schemes, semantics, verification
  Greibach, Sheila A. 1985 Springer
• On algebraic semantics of imperative programming languages
  Krause, Manfred ; Lippe, Wolfram-Manfred ; Simon, Friedemann 1982 Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ.
• Semantics directed compiler generation – proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980
  Jones, Neil D. 1980 Springer
• Paraconsistent Declarative Semantics for Extended Logic Programs
  Arieli, Ofer
• Semantics of Untyped Functional Programs
  Nigiyan, S. A. ; Avetisyan, S. A.
• Non-Standard Semantics for Program Slicing
  Giacobazzi, Roberto ; Mastroeni, Isabella
• An empirical study of the 4‐valued Kripke–Kleene and 4‐valued well‐founded semantics in random propositional logic programs
  Giannella, Chris ; Schlipf, John
• Logic programs with stable model semantics as a constraint programming paradigm
  Niemelä, Ilkka
• Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
  Kossatchev, A. S. ; Kutter, P. ; Posypkin, M. A.
• Contributions to the semantics of logic perpetual processes
  Levi, Giorgio ; Palamidessi, Catuscia
• A formal semantics for concurrent systems with a priority relation
  Janicki, Ryszard
• On an equivalence between continuation and stack semantics
  Russell, Bruce
• Correctness of the compiling process based on axiomatic semantics
  Russell, Bruce