„program semantics“

Suchergebnisse

553 Treffer

• Categorical semantics and composition of tree transducers
  Jürgensen, Claus
• Comparative metric semantics of programming languages – nondeterminism and recursion
  Breugel, Franck ˜vanœ 1998 Birkhäuser
• A classification scheme for declarative programming languages – syntax, semantics and operational models
  Guo, Yike ; Lock, Hendrik C. R. 1990 GMD
• Semantics of parallelism – non-interleaving representation of behaviour
  Shields, Michael William 1997 Springer
• Generalized disjunctive well-founded semantics for logic programs
  Baral, Chitta ; Lobo, Jorge ; Minker, Jack
• Propositional semantics for disjunctive logic programs
  Ben-Eliyahu, Rachel ; Dechter, Rina
• Static semantics for normal and disjunctive logic programs
  Przymusinski, Teodor C.
• Syntax and semantics of graphs – an approach to the specification of visual notations for discrete event systems
  Janneck, Jörn W. 2000 Shaker
• An approach to the development of debuggers that use semantics of constructs of parallel programs
  Kalinov, A. Ya ; Karganov, K. A. ; Khorenko, K. V.
• Mathematical foundations of programming semantics – internat. conference ; proceedings
  1986 Springer
• The axiomatic semantics of programs based on Hoare's logic
  Bergstra, Jan A. ; Tucker, J. V.
• Goto statements: semantics and deduction systems
  Bruin, Arie ˜deœ
• Does Climate Variability Impact COVID-19 Outbreak? An Enhanced Semantics-Driven Theory-Guided Model
  Das, Monidipa ; Ghosh, Akash ; Ghosh, Soumya
• On the automation-supported derivation of domain-specific UML profiles considering static semantics
  Kraas, Alexander
• OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
  Cengarle, María Victoria ; Knapp, Alexander
• The σ-semantics for functional programs
  Chitil, Olaf 1996 RWTH, Fachgruppe Informatik
• Combining Programming-by-Example with Transformation Discovery from large Databases
  Özmen, Aslihan ; Esmailoghli, Mahdi ; Abedjan, Ziawasch 2021 Gottfried Wilhelm Leibniz Universität Hannover
• Theory of program structures – schemes, semantics, verification
  Greibach, Sheila A. 1975 Springer
• Complementary definitions of programming language semantics
  Donahue, James E. 1976 Springer
• Denotational semantics of an object-oriented programming language with explicit wrappers
  Hense, Andreas V.