„program semantics“

Suchergebnisse

553 Treffer

• Morphology-semantics mismatches and the nature of grammatical features
  Smith, Peter W. 2021 De Gruyter Mouton
• Mechanized semantics of simple imperative programming constructs
  Pfeifer, Holger ; Dold, Axel ; Henke, Friedrich Wilhelm ˜vonœ ; Rueß, Harald 2009 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Deja Vu: semantics-aware recording and replay of high-speed eye tracking and interaction data to support cognitive studies of software engineering tasks—methodology and analyses
  Zyrianov, Vlas ; Peterson, Cole S. ; Guarnera, Drew T. ; Behler, Joshua ; Weston, Praxis ; Sharif, Bonita ; Maletic, Jonathan I.
• Using Enhanced Logic Programming Semantics for Extending and Optimizing Synchronous System Design
  Dahlem, Marc ; Schneider, Klaus 2021 Technische Universität Kaiserslautern
• Babelsberg/RML – executable semantics and language testing with RML
  Felgentreff, Tim ; Hirschfeld, Robert ; Millstein, Todd ; Borning, Alan 2015 Universität Potsdam
• Insertion Semantics of VHDL as Electronic Design Languge
  Letychevskyi, O. O. ; Odarushchenko, O. M. ; Peschanenko, V. S. ; Kharchenko, V. S. ; Moskalets, V. V.
• Semantics4J - Programming language integrated queries and types
  Hartenfels, Carsten ; Lämmel, Ralf ; Leinberger, Martin 2017 Universität Koblenz-Landau
• Gödel’s proof – 2. Semantics of first order theory and Hilbert’s program
  Srivastava, S M.
• Reactive bisimulation semantics for a process algebra with timeouts
  Glabbeek, Rob van
• Development and Analysis of a Sentence Semantics Representation Model
  Vrublevskyi, V. ; Marchenko, O.
• Verification of Compliance for Multilevel Models in Individual Trace Semantics
  Khoroshilov, A. V.
• Special Issue on NLP & Semantics
  Hershcovich, Daniel ; Donatelli, Lucia
• Towards Visual Semantics
  Giunchiglia, Fausto ; Erculiani, Luca ; Passerini, Andrea
• Enabling BDI group plans with coordination middleware: semantics and implementation
  Cranefield, Stephen
• ‘True Concurrency’ Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies
  Virbitskaite, I. B. ; Zubarev, A. Yu
• Learning from interpretation transition using differentiable logic programming semantics
  Gao, Kun ; Wang, Hanpin ; Cao, Yongzhi ; Inoue, Katsumi
• Generation of domain-specific language-to-language transformation languages
  Kopetzki, Dawid ; Steffen, Bernhard ; Jörges, Sven 2019 Universitätsbibliothek Dortmund
• It’s the Meaning That Counts: The State of the Art in NLP and Semantics
  Hershcovich, Daniel ; Donatelli, Lucia
• Dissertation Abstract: The Syntax, Semantics and Pragmatics of Japanese Addressee-Honorific Markers
  Yamada, Akitaka
• Contributions to the semantics of generalized logic programs
  Herre, Heinrich ; Wagner, Gerd 1996 Inst. für Informatik