-
Empirical software engineering and verification – international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
Meyer, Bertrand ; Nordio, Martin 2012 Springer
-
Semantics of Parallelism – Non-Interleaving Representation of Behaviour
Shields, Michael William 1997 Springer London
-
Comparative Metric Semantics of Programming Languages – Nondeterminism and Recursion
1996 Birkhäuser Boston
-
Implementation and application of functional languages – 20th international symposium ; revised selected papers
Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer
-
Extracting Semantics from Unconstrained Navigation on Wikipedia
Niebler, Thomas ; Schlör, Daniel ; Becker, Martin ; Hotho, Andreas
-
Semantics of Type Theory – Correctness, Completeness and Independence Results
1991 Birkhäuser Boston
-
Theoretical Aspects of Computing – ICTAC 2011 – 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
Cerone, Antonio ; Pihlajasaari, Pekka 2011 Springer Berlin Heidelberg
-
Universal Quantification in Categorical Logic Programming – Categorical operational semantics for universal quantification in hereditarily Harrop logic programming
Krishnan, Ayalur 2011 VDM Verlag Dr. Müller
-
Theoretical aspects of computing 8th international colloquium ; proceedings
Cerone, Antonio ; Pihlajasaari, Pekka 2011 Springer
-
Automata, languages and programming
2011 Springer
-
prialt in Handel-C: an operational semantics
Butterfield, Andrew ; Woodcock, Jim
-
Language and automata theory and applications – 5th international conference ; proceedings
Dediu, Adrian-Horia ; Martín Vide, Carlos ; Inenaga, Shunsuke 2011 Springer
-
Functional and constraint logic programming – 19th international workshop ; revised selected papers
Mariño, Julio 2011 Springer
-
Declarative agent languages and technologies VIII – 8th international workshop ; revised selected and invited papers
Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer
-
Reusing OCL in the definition of imperative languages
Büttner, Fabian 2011 Logos-Verl.
-
Foundations of software science and computational structures – 14th international conference ; proceedings
Hofmann, Martin 2011 Springer
-
Fundamental approaches to software engineering – 14th international conference ; proceedings
Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer
-
Programming languages and systems – proceedings
Barthe, Gilles 2011 Springer
-
Programming languages and systems – 8th Asian symposium ; proceedings
Ueda, Kazunori 2010 Springer
-
Semantics for a Quantum Programming Language by Operator Algebras
Cho, Kenta