„program semantics“

Suchergebnisse

553 Treffer

• The semantics of asserting and retracting clauses to logic programs
  Pletat, Udo ; Beierle, Christoph 1987 IBM Deutschland, WT LILOG
• Semantics of logic programs with equational abstract data type specifications
  Beierle, Christoph ; Pletat, Udo 1988 IBM Deutschland, WT LILOG
• The Syntax and Semantics of the Nominal Construction – A Radically Minimalist Perspective
  Krivochen, Diego Gabriel 2012 Peter Lang GmbH, Internationaler Verlag der Wissenschaften
• Performance Optimizations and Operator Semantics for Streaming Data Flow Programs
  Sax, Matthias J. ; Freytag, Johann-Christoph ; Kao, Odej ; Nicklas, Daniela 2020 Humboldt-Universität zu Berlin
• Logic, rationality, and interaction – 7th international workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings
  Blackburn, Patrick ; Lorini, Emiliano ; Guo, Meiyun 2019 Springer
• Climbing the Hill of Computational Semantics – Interview with Alexander Koller, Saarland University
  Hershcovich, Daniel ; Donatelli, Lucia
• Android Application Security – A Semantics and Context-Aware Approach
  Zhang, Mu ; Yin, Heng 2016 Springer International Publishing
• Babelsberg/RML – executable semantics and language testing with RML
  Felgentreff, Tim ; Hirschfeld, Robert ; Millstein, Todd ; Borning, Alan 2016 Universitätsverlag Potsdam
• On the semantics of polymorphism
  Coppo, Mario
• Structural operational semantics and bounded nondeterminism
  Fokkink, Wan ; Vu, Thuy Duong
• Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
  Karvi, T. ; Tienari, M. ; Kaivola, R.
• A simple denotational semantics, proof theory and a validation condition generator for unit-delay VHDL
  Breuer, Peter T. ; Fernández, Luis Sánchez ; Kloos, Carlos Delgado
• Denotational semantics of object specification
  Sernadas, Amílcar ; Sernadas, Cristina ; Caleiro, Carlos
• Semantics-Driven Migration of Java Programs: A Practical Application
  Aleksyuk, A. O. ; Itsykson, V. M.
• New frontiers in artificial intelligence – revised selected papers
  Motomura, Yoichi ; Butler, Alastair ; Bekki, Daisuke 2013 Springer
• The syntax and semantics of the nominal construction – a radically minimalist perspective
  Krivochen, Diego Gabriel 2012 Lang
• Interactive theorem proving – second international conference ; proceedings
  Eekelen, Marko ˜vanœ ; Geuvers, Herman ; Schmaltz, Julien ; Wiedijk, Freek 2011 Springer
• A fully abstract semantics for causality in the $\pi$ -calculus
  Boreale, Michele ; Sangiorgi, Davide
• A semantics of introspection in a reflective prototype-based language
  Malenfant, Jacques ; Dony, Christophe ; Cointe, Pierre
• M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
  Best, Eike ; Frączak, Wojciech ; Hopkins, Richard P. ; Klaudel, Hanna ; Pelz, Elisabeth