„program semantics“

Suchergebnisse

553 Treffer

• Mathematical foundations of programming language semantics – ... workshop ; proceedings
  1988 Springer
• Semantics of probabilistic typed lambda calculus – markov chain semantics, termination behavior, and denotational semantics
  Draheim, Dirk 2017 Springer
• An approach to the development of debuggers that use semantics of constructs of parallel programs
  Kalinov, A. Ya ; Karganov, K. A. ; Khorenko, K. V.
• An algebraic semantics of higher-order types with subtypes
  Qian, Zhenyu
• A compositional dataflow semantics for Petri nets
  Gold, Robert
• The connection between an event structure semantics and an operational semantics forTCSP
  Baier, Christel ; Majster-Cederbaum, Mila E.
• Proving finiteness of CCS processes by non-standard semantics
  Francesco, Nicoletta De ; Inverardi, Paola
• A Petri nets semantics for data flow networks
  Bernardeschi, Cinzia ; Francesco, Nicoletta De ; Vaglini, Gigliola
• Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef – March 19-23, 1979
  Indermark, Klaus 2011 Saarländische Universitäts- und Landesbibliothek
• Abstracts of the talks at the Fourth International Workshop on the Semantics of Programming Languages in Bad Honnef – March 14-18, 1983
  Indermark, Klaus 2013 Saarländische Universitäts- und Landesbibliothek
• From LTL to rLTL monitoring: improved monitorability through robust semantics
  Mascle, Corto ; Neider, Daniel ; Schwenger, Maximilian ; Tabuada, Paulo ; Weinert, Alexander ; Zimmermann, Martin
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
  Baral, Chitta R. ; Subrahmanian, V. S.
• A semantics for a class of non-deterministic and causal production system programs
  Raschid, Louiqa ; Lobo, Jorge
• Contrastive learning for unsupervised sentence embeddings using negative samples with diminished semantics
  Yu, Zhiyi ; Li, Hong ; Feng, Jialin
• A big graph clustering method to support parallel processing by perceiving graph’s application algorithm semantics
  Cheng, Tengteng ; Zeng, Guosun ; Sun, Zhipeng
• Possible worlds semantics: A research program that cannot fail?
  Benthem, Johan van
• An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language
  Zamulin, A. V.
• Towards Verification of C Programs. C-Light Language and Its Formal Semantics
  Nepomniaschy, V. A. ; Anureev, I. S. ; Mikhailov, I. N. ; Promskii, A. V.
• Games In The Semantics Of Programming Languages – An Elementary Introduction
  Jürjens, Jan
• Assessing the specification of modelling language semantics: a study on UML PSSM
  Elekes, Márton ; Molnár, Vince ; Micskei, Zoltán