„program semantics“

Suchergebnisse

553 Treffer

• Programming Languages and Operational Semantics – A Concise Overview
  Fernández, Maribel 2014 Springer London
• Big data integration theory – theory and methods of database mappings, programming languages, and semantics
  Majkić, Zoran 2014 Springer International Publishing
• Logic programming and nonmonotonic reasoning – 12th international conference ; proceedings
  Cabalar, Pedro ; Son, Tran Cao 2013 Springer
• The beauty of functional code – essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday
  Achten, Peter ; Plasmeijer, Marinus Jacobus ; Koopman, Pieter 2013 Springer
• Logic, language, information and computation – 20th international workshop ; proceedings
  Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer
• Web reasoning and rule systems – 7th international conference ; proceedings
  Faber, Wolfgang ; Lembo, Domenico 2013 Springer
• Synthesized and inherited functions - a new computational model for syntax-directed semantics
  Kühnemann, Armin ; Vogler, Heiko 2009 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Synthesized and inherited functions – a new computational model for syntax directed semantics
  Kühnemann, Armin ; Vogler, Heiko 1992 Univ., Fak. für Informatik
• Formal Development of a Network-Centric RTOS – Software Engineering for Reliable Embedded Systems
  Verhulst, Eric ; Mezhuyev, Vitaliy ; Boute, Raymond T. ; Sputh, Bernhard H.C. ; Faria, José Miguel Sampaio 2011 Springer US
• Foundations of software science and computational structures – 8th international conference ; proceedings
  Sassone, Vladimiro 2005 Springer
• Unifying theories of programming – third international symposium ; proceedings
  Qin, Shengchao 2010 Springer
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
  Sakama, Chiaki ; Inoue, Katsumi
• Causal semantics for the algebra of connectors
  Bliudze, Simon ; Sifakis, Joseph
• Knowledge Discovery Enhanced with Semantic and Social Information
  Berendt, Bettina 2009 Springer Berlin
• Compositional partial order semantics of Petri boxes
  Linde-Göers, Hans-Günther 1994 Shaker
• Petri net semantics of logic programs and deductive databases
  Dahr, Michael 1994 Kovač
• Automatic extraction of corollaries from semantic structure of text
  Nurtazin, Abyz T. ; Khisamiev, Zarif G.
• Semantics of programming languages and algebra – 07.06. - 11.06.93
  Droste, Manfred 1993 Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes
• The real time programming language ALDiSP-O – informal introduction and formal semantics
  Freericks, Markus ; Knoll, Alois ; Dooley, Laurence 1993 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• On programming languages with infinite output – an exercise in denotational semantics
  Berghammer, Rudolf ; Kempf, Peter 1993 Univ. der Bundeswehr, Fak. für Informatik