2776 search results - page 10 / 556 » System-Level Abstraction Semantics |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Meaning can be generated when information is related at a systemic level. Such a system can be an observer, but also a discourse, for example, operationalized as a set of document...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
BIRTHDAY
2009
Springer
14 years 27 days ago
2009
Springer
ENTCS
2008
13 years 9 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...