„program semantics“

Suchergebnisse

553 Treffer

• Semantics – foundations and applications ; proceedings
  Bakker, Jacobus W. ˜deœ 1993 Springer
• Mathematical foundations of programming semantics
  1992 Springer
• The Refined Extension Principle for Semantics of Dynamic Logic Programming
  Alferes, José Júlio ; Banti, Federico ; Brogi, Antonio ; Leite, João Alexandre
• Approximation of abstract semantics by formal models of programs
  ZAKHAROV, V. A.
• Semantics of form oriented analysis
  Weber, Gerald
• Dynamic migration of object semantics among heterogeneous environments
  Wagner, Michael P.
• Semantics-directed generation of compilers and abstract machines
  Diehl, Stephan
• Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
  Buth, Karl-Heinz
• Semantics of type theory – correctness, completeness and independence results
  Streicher, Thomas 1991 Birkhäuser
• Logic and Engineering of Natural Language Semantics – 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers
  Bekki, Daisuke ; Mineshima, Koji ; McCready, Elin 2024 Springer Nature Switzerland, Imprint: Springer
• From formal semantics to verified slicing – a modular framework with applications in language based security
  Wasserrab, Daniel 2011 KIT Scientific Publ.
• Programming creativity – semantics and organisation of creativity within IT enterprises
  Zipp, Jan Sebastian 2022 transcript
• Declarative reasoning about space and motion in visual imagery - theoretical foundations and applications
  Suchan, Jakob ; Bhatt, Mehul ; Krieg-Brückner, Bernd 2022 Staats- und Universitätsbibliothek Bremen
• Mathematical foundations of programming semantics
  1986 Springer
• The strong semantics for logic programs
  Chen, Jianhua ; Kundu, Sukhamay
• Mathematical foundations of programming semantics
  1990 Springer
• The semantics and complexity of parallel programs for vector computations. Part I: A case study using ADA
  Blum, Edward K.
• Concepts, syntax and semantics of SEGRAS – a specification language for distributed systems
  Krämer, Bernd J. 1989 Oldenbourg
• Relational algebraic semantics of funktional programs
  Berghammer, Rudolf ; Zierer, Hans 1985 Bibliothek d. Fak. für Mathematik u. Informatik, TUM
• Mathematical foundations of programming language semantics
  1988 Springer