396 search results - page 11 / 80 » Comparative Semantics for a Real-Time Programming Language w... |
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
ASM
2003
ASM
14 years 22 days ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
SEMWEB
2001
Springer
13 years 12 months ago
2001
Springer
Although RDF is considered the Semantic Web language, it may not be the only one. SOAP serialisation provides several advantages, especially if the Semantic Web is not just about ...
ER
2007
Springer
14 years 1 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...