„program semantics“

Suchergebnisse

553 Treffer

• Semantics of OCL specified with QVT
  Marković, Slaviša ; Baar, Thomas
• Semantics, calculi, and analysis for object-oriented specifications
  Brucker, Achim D. ; Wolff, Burkhart
• Algebraic Semantics of an Imperative Programming Language
  Zamulin, A. V.
• Inductive inference of logic programs based on algebraic semantics
  Sakakibara, Yasubumi
• A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics
  Fages, François
• Automating the diagram method to prove correctness of program transformations
  Sabel, David 2018 Universitätsbibliothek Johann Christian Senckenberg
• Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
  Nepomniaschy, V. A. ; Anureev, I. S. ; Promskii, A. V.
• A practical approach to implementing real-time semantics
  Bhat, Girish ; Cleaveland, Rance ; Lüttgen, Gerald
• Formal Semantics of Java Expressions and Statements
  Zamulin, A. V.
• Some Remarks on the Semantics of FIPA's Agent Communication Language
  Pitt, Jeremy ; Mamdani, Abe
• Semantics-based program analysis for logic-based languages using XSB
  Codish, Michael ; Demoen, Bart ; Sagonas, Konstantinos
• 3rd Summit on Advances in Programming Languages (SNAPL 2019)
  Lerner, Benjamin S. ; Bodík, Rastislav ; Krishnamurthi, Shriram 2019 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Lectures on Runtime Verification – Introductory and Advanced Topics
  Bartocci, Ezio ; Falcone, Yliès 2018 Springer Berlin Heidelberg
• On the verification of SCOOP programs
  Caltais, Georgiana ; Meyer, Bertrand 2017 KOPS Universität Konstanz
• The connection between an event structure semantics and an operational semantics for TCSP
  Baier, Christel ; Majster-Cederbaum, Mila 1991 Universitätsbibliothek Mannheim
• Some comments on CPO-semantics and metric space semantics for imperative languages
  Majster-Cederbaum, Mila 1989 Universitätsbibliothek Mannheim
• How to interpret and establish consistency results for semantics of concurrent programming languages
  Baier, Christel ; Majster-Cederbaum, Mila 1996 Universitätsbibliothek Mannheim
• Semantics-driven extraction of timed automata from Java programs
  Liva, Giovanni ; Khan, Muhammad Taimoor ; Pinzger, Martin
• Implicit Self-Adjusting Computation for Purely Functional Programs
  Chen, Yan ; Acar, Umut 2018 Technische Universität Kaiserslautern
• Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
  Aguado, Joaquín ; Mendler, Michael ; Hanxleden, Reinhard ˜vonœ ; Fuhrmann, Insa 2016 Otto-Friedrich-Universität Bamberg