„program semantics“

Suchergebnisse

553 Treffer

• Formal methods and software engineering – proceedings
  Dong, Jin Song ; Zhu, Huibiao 2010 Springer
• HCI in work and learning, life and leisure – 6th symposium of the Workgroup Human-Computer Interaction and Usability Engineering ; proceedings
  Leitner, Gerhard ; Hitz, Martin ; Holzinger, Andreas 2010 Springer
• Semantics of programming languages and model theory – 24. - 28.6.1991 (9126)
  Droste, Manfred 1991 Geschäftsstelle Schloss Dagstuhl
• Composable Message Semantics – Composable Message Semantics in Object-Oriented Programming Languages
  Hof, Markus 2010 VDM Verlag Dr. Müller
• Program synthesis from domain specific object models – An investigation of relational semantics, model completion and automatic code generation for object oriented systems
  Faitelson, David 2010 VDM Verlag Dr. Müller
• Process semantics of communicating concurrent programs
  Broy, Manfred 1986 Dekanat d. Fak. für Mathematik u. Informatik, Univ.
• A denotational semantics for Backus' functional programming language with infinite objects
  Nickl, Friederike 1985 Dekanat d. Fak. für Mathematik u. Informatik, Univ.
• Completeness and Termination of SLDNF-Resolution and Determination of a Selection function using Mode
  Ntienjem, Ebénézer 2006 Universität Augsburg
• Completeness Result of SLDNF-resolution for a relevant Class of Logic Programs
  Ntienjem, Ebénézer 2006 Universität Augsburg
• Kleene Under a Demonic Star
  Desharnais, Jules ; Möller, Bernhard ; Tchier, Fairouz 2006 Universität Augsburg
• MATINEE: A Quality-of-Service-aware Event Semantics Modeling Language
  Wahl, Andreas M. ; Fischer, Thomas ; Lenz, Richard 2014 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Brahms and Bruckner as artistic antipodes – studies in musical semantics
  Floros, Constantin ; Bernhardt-Kabisch, Ernest 2015 PL Acad. Research
• Semantics and implementation problems in LOGLAN with its many level prefixing concept – Vortrag, gehalten auf d. Internat. Seminar on New Tools of Programming and Means for the Analysis of Programs, in Radziejowice, Polen, September 1984
  Langmaack, Hans 1985 Inst. für Informatik u. Prakt. Mathematik
• Notes on operational semantics of abstract data types and programming languages
  Poigné, Axel 1983 Univ., Abt. Informatik
• Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
  Sabel, David 2008 Verl. Dr. Hut
• Proceedings of the International Workshop on Semantics of Programming Languages – at Elly-Hölterhoff-Böcking-Foundation, Bad Honnef, March 21 - 25, 1977
  Claus, Volker 1977 Abt. Informatik, Univ. Dortmund
• The connection between axiomatic and denotational semantics of programming languages
  Raulefs, Peter 1977 Univ. Karlsruhe, Fak. für Informatik
• Mathematical foundations of computer science 2014
  2014 Springer
• An introduction to (co)algebras and (co)induction and their application to the semantics of programming languages
  Glesner, Sabine 2005 Univ., Fak. für Informatik, Bibl.
• Mathematical foundations of computer science 2014
  2014 Springer