„program semantics“

Suchergebnisse

553 Treffer

• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2009 Univ.-Bibliothek Frankfurt am Main
• Reconstructing a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2011 Univ.-Bibliothek Frankfurt am Main
• Programming Creativity – Semantics and Organisation of Creativity Within IT Enterprises
  Zipp, Jan Sebastian 2022 transcript Verlag
• Analysis of cognitive models in constraint handling rules
  Gall, Daniel 2021 Universität Ulm
• Semantics-driven translation of UML-models into object-oriented programming languages – aligning the semantics of UML static structures and dynamic behavior in an approach for model-driven development
  Gessenharter, Dominik 2020 Universität Ulm
• Language Family Engineering with Features and Role-Based Composition
  Wende, Christian ; Aßmann, Uwe ; Atkinson, Colin 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• From Formal Semantics to Verified Slicing – A Modular Framework with Applications in Language Based Security
  Wasserrab, Daniel ; Snelting, G. 2011 KIT Scientific Publishing
• A psycholinguistically motivated neural model of sentence comprehension
  Bocancia, Iuliana 2014 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• A unified analytical foundation for constraint handling rules
  Betz, Hariolf 2014 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Mixed low- and high level programming language semantics and automated verification of a small hypervisor
  Shadrin, Andrey ; Paul, Wolfgang J. 2012 Saarländische Universitäts- und Landesbibliothek
• Infinite-Valued Least Model and Game Semantics for Formula-Based and Normal Logic Programs
  Lüdecke, Rainer 2012 Verlag Dr. Hut
• Categorical semantics and composition of tree transducers
  Jürgensen, Claus
• Semantics of form oriented analysis
  Weber, Gerald
• Flexible computation of the well-founded semantics of normal logic programs
  Zukowski, Ulrich
• Dynamic migration of object semantics among heterogeneous environments
  Wagner, Michael P.
• Semantics-directed generation of compilers and abstract machines
  Diehl, Stephan
• Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) – 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
  Amblard, Maxime ; Groote, Philippe ˜deœ ; Pogodalla, Sylvain ; Retoré, Christian 2016 Springer International Publishing
• Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
  2017 Springer International Publishing
• Web Reasoning and Rule Systems – 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
  Faber, Wolfgang ; Lembo, Domenico 2016 Springer International Publishing
• Logic Programming and Nonmonotonic Reasoning – 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
  Cabalar, Pedro ; Son, Tran Cao 2015 Springer International Publishing