„Formal semantics“

Suchergebnisse

505 Treffer

• Modeling multi-rate DSP specification semantics for formal transformational design in HOL
  Angelo, Catia M. ; Claesen, Luc ; Man, Hugo de
• $$\pi $$ π HyFlow: formalism, semantics, and applications
  Barros, Fernando
• OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
  Cengarle, María Victoria ; Knapp, Alexander
• Copular sentences in Russian vs. Spanish at the syntax-semantics interface
  Geist, Ljudmila 2006 Universitätsbibliothek Johann Christian Senckenberg
• Formal semantics for the integration of statecharts and Z in metamodel based framework
  Geisler, Robert
• Equivalence of formal semantics definition methods
  Caswell, M. J. A.
• Syntax and semantics of formal languages
  Letichevskii, A. A.
• Agent-oriented software engineering X – 10th international workshop ; revised selected papers
  Gleizes, Marie-Pierre ; Gomez-Sanz, Jorge J. 2011 Springer
• Modeling locative prefix semantics. A formal account of the English verbal prefix out-
  Kotowski, Sven
• 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
• Resolving contradictions: A plausible semantics for inconsistent systems
  Lozinskii, Eliezer L.
• A laplacean formal semantics for single-case propensities
  Giere, Ronald N.
• A survey of formal semantics
  Rogers, Robert
• A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs
  Tigane, Samir ; Guerrouf, Fayçal ; Kahloul, Laid
• Formal semantics and natural kind terms
  Schwartz, Stephen P.
• Formal semantics: is it relevant to artificial intelligence?
  Galton, A.
• A formal semantics for an active functional DBPL
  Poulovassilis, Alexandra ; Reddi, Swarup ; Small, Carol
• Towards Verification of C Programs. C-Light Language and Its Formal Semantics
  Nepomniaschy, V. A. ; Anureev, I. S. ; Mikhailov, I. N. ; Promskii, A. V.
• From Intentionality To Formal Semantics (From Twardowski To Tarski
  Woleñski, Jan