„program semantics“

Suchergebnisse

553 Treffer

• Operational Semantics of Annotated Reflex Programs
  Anureev, I. S.
• Wort-Ton-Gestaltung in der Sinfonik Gustav Mahlers
  Haller, Silja Christina 2012 Universität Potsdam
• On elementary loops of logic programs
  Gebser, Martin ; Lee, Joohyung ; Lierler, Yuliya 2019 Universität Potsdam
• Semantics-based API discovery, matching and composition with linked metadata
  Serrano, Diego ; Stroulia, Eleni
• Wort-Ton-Gestaltung in der Sinfonik Gustav Mahlers
  Haller, Silja 2012 Univ.-Verl.
• GS4: Graph stream summarization based on both the structure and semantics
  Ashrafi-Payaman, Nosratali ; Kangavari, Mohammad Reza ; Hosseini, Saeid ; Fander, Amir Mohammad
• Mixed-semantics composition of statecharts for the component-based design of reactive systems
  Graics, Bence ; Molnár, Vince ; Vörös, András ; Majzik, István ; Varró, Dániel
• Mathematical foundations of programming semantics – ... international conference ; proceedings
  Springer
• An Experiment with Denotational Semantics
  Blikle, Andrzej
• An Algebraic Study of Commutation and Termination
  Struth, Georg 2006 Universität Augsburg
• Semantics and algorithms for trustworthy commitment achievement under model uncertainty
  Zhang, Qi ; Durfee, Edmund H. ; Singh, Satinder
• Logic and Program Semantics – Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
  Constable, Robert Lee ; Kozen, Dexter 2012 Springer Berlin Heidelberg
• Logic and program semantics – essays dedicated to Dexter Kozen on the occasion of his 60th birthday
  Constable, Robert Lee ; Kozen, Dexter 2012 Springer
• A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
  Corrodi, Claudio ; Heußner, Alexander ; Poskitt, Christopher M.
• Assigning Group Activity Semantics to Multi-Device Mobile Sensor Data – An Explanation-Based Perspective
  Loke, Seng W. ; Abkenar, Amin Bakshandeh
• 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
  Bonchi, Filippo ; König, Barbara 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• An integrated semantics for reasoning about SysML design models using refinement
  Lima, Lucas ; Miyazawa, Alvaro ; Cavalcanti, Ana ; Cornélio, Márcio ; Iyoda, Juliano ; Sampaio, Augusto ; Hains, Ralph ; Larkham, Adrian ; Lewis, Vaughan
• Order and metric in the stream semantics of elemental concurrency
  Bakker, J. W. de ; Meyer, J. -J. Ch
• Semantics of Analogies from a Logical Perspective
  Abdelfattah, Ahmed M. H. ; Krumnack, Ulf
• Syntax, Semantics, and Computer Programs
  Rapaport, William J.