„Imperative programming“

Suchergebnisse

1.000+ Treffer

• BXtendDSL at Work: Combining Declarative and Imperative Programming of Bidirectional Model Transformations
  Buchmann, Thomas ; Bank, Matthias ; Westfechtel, Bernhard
• Foundations of Programming Languages
  Lee, Kent D. 2017 Springer International Publishing
• Programmierparadigmen – Eine Einführung auf der Grundlage von Racket
  Wagenknecht, Christian 2016 Springer Fachmedien Wiesbaden
• Algorithmic skeletons in an imperative language for distributed programming
  Botorog, George Horaţiu ; Kuchen, Herbert 1995 Arbeitsgruppe Informatik, Univ.
• Foundations of Programming Languages
  2014 Springer International Publishing
• Compiler Design – Syntactic and Semantic Analysis
  Wilhelm, Reinhard ; Seidl, Helmut 2013 Springer Berlin
• Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques
  Prebet, Enguerrand 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Representation of References in the Pi-Calculus
  Hirschkoff, Daniel ; Prebet, Enguerrand ; Sangiorgi, Davide 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• LCSMAR, an AR Based Tool to Inspect Imperative Programs
  Martins, Luis Carlos ; Lima, Lázaro Vinicius ; Henriques, Pedro Rangel 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Imperative Programming in Sets with Atoms
  Bojanczyk, Mikolaj ; Torunczyk, Szymon 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compiler Design – Analysis and Transformation
  Seidl, Helmut ; Wilhelm, Reinhard 2012 Springer Berlin
• Compiler Design – Virtual Machines
  Wilhelm, Reinhard ; Seidl, Helmut 2010 Springer Berlin
• Erlang and Elixir for Imperative Programmers
  2016 Apress
• Scala: From a Functional Programming Perspective – An Introduction to the Programming Language
  Torra, Vicenç 2016 Springer International Publishing
• Programming Languages and Operational Semantics – A Concise Overview
  Fernández, Maribel 2014 Springer London
• Compiler Design – Syntactic and Semantic Analysis
  Wilhelm, Reinhard ; Seidl, Helmut 2013 Springer Berlin Heidelberg
• Compiler Design – Analysis and Transformation
  Seidl, Helmut ; Wilhelm, Reinhard 2012 Springer Berlin Heidelberg
• Compiler Design – Virtual Machines
  Wilhelm, Reinhard ; Seidl, Helmut 2010 Springer Berlin Heidelberg
• Pattern Calculus – Computing with Functions and Structures
  Jay, Barry 2009 Springer Berlin
• Fips – a functional imperative language for explorative programming
  Passia, Jacek ; Löhr, Klaus-Peter 1992 Freie Univ., Fachbereich Mathematik