„program semantics“

Suchergebnisse

553 Treffer

• A denotational semantics for shared-memory parallelism and nondeterminism
  Berry, Daniel M.
• A sharp proof rule for procedures in wp semantics
  Bijlsma, A. ; Matthews, P. A. ; Wiltink, J. G.
• Hiding in stream semantics of uniform concurrency
  Meyer, J. -J. Ch ; Olderog, E. -R
• Step failures semantics and a complete proof system
  Taubner, Dirk ; Vogler, Walter
• Predicate-transformer semantics of general recursion
  Hesselink, Wim H.
• Failures semantics and deadlocking of modular Petri nets
  Vogler, Walter
• Semantics, applications, and implementation of program generation – second international workshop ; proceedings
  Taha, Walid Mohamed 2001 Springer
• Semantics, applications, and implementation of program generation – international workshop ; proceedings
  Taha, Walid Mohamed 2000 Springer
• SEMANOL (73) a metalanguage for programming the semantics of programming languages
  Anderson, E. R. ; Belz, F. C. ; Blum, E. K.
• A set-theoretic semantics for Clear
  Sannella, D. T.
• Termination conventions and comparative semantics
  Hehner, Eric C. R. ; Malton, Andrew J.
• Formal semantics of a class of high-level primitives for coordinating concurrent processes
  Lauer, P. E. ; Campbell, R. H.
• A general proof rule for procedures in predicate transformer semantics
  Martin, Alain J.
• Consistent and complementary formal theories of the semantics of programming languages
  Hoare, C. A. R. ; Lauer, P. E.
• General predicate transformer and the semantics of a programming language with go to statement
  He, Jifeng
• A program for the semantics of science
  Bunge, Mario
• On the declarative and procedural semantics of logic programs
  Przymusinski, Teodor C.
• 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
  Moss, Lawrence Stuart ; Sobocinski, Pawel 2015 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Intensional and Extensional Semantics of Dataflow Programs
  Gay, Simon ; Nagarajan, Rajagopal
• Deriving failures models for nonuniform concurrency from structured operational semantics
  Horita, Eiichi