„Imperative programming“

Suchergebnisse

39 Treffer

• About classical logic and imperative programming
  Krivine, Jean-Louis
• On algebraic semantics of imperative programming languages
  Krause, Manfred ; Lippe, Wolfram-Manfred ; Simon, Friedemann 1982 Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ.
• 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
• An integrated constraint-logic and object-oriented programming language – the Münster logic-imperative language
  Dageförde, Jan Christoph 2020
• An Integrated Constraint-Logic and Object-Oriented Programming Language – The Münster Logic-Imperative Language
  Dageförde, Jan Christoph ; Kuchen, Herbert 2020 Universitäts- und Landesbibliothek Münster
• Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution
  Gava, F. ; Marquer, Y.
• Imperative versus declarative constraint specification languages: a controlled experiment
  Maraee, Azzam ; Sturm, Arnon
• Algebraic Semantics of an Imperative Programming Language
  Zamulin, A. V.
• Automatic Cost Analysis for Imperative BSP Programs
  Jakobsson, Arvid
• Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF – Towards hybrid intensional programming with JLucid, Objective Lucid & the General Imperative Compiler Framework in GIPSY
  Mokhov, Serguei 2009 LAP LAMBERT Academic Publishing
• Reasoning about program transformations – imperative programming and flow of data
  Collard, Jean-François 2003 Springer
• Reasoning About Program Transformations – Imperative Programming and Flow of Data
  Collard, Jean-François 2004 Springer New York
• Mechanized semantics of simple imperative programming constructs
  Dold, Axel 1996 Univ., Fak. für Informatik
• Programmierparadigmen – eine Einführung auf der Grundlage von Racket
  Wagenknecht, Christian 2016 Springer Vieweg
• An imperative language for task level programming – definition in temporal logic
  Rutten, Eric ; Marcé, Lionel 1991 GMD
• Reusing OCL in the definition of imperative languages
  Büttner, Fabian 2011 Logos-Verl.
• Compiler design
  Seidl, Helmut 2012 Springer
• Compiler design
  Seidl, Helmut 2013 Springer
• Problem adequate notations for expressing parallelism in imperative programming languages and implications for computer architectures
  Zehendner, Eberhard ; Ungerer, Theo 1988 Inst. für Mathematik