5451 search results - page 44 / 1091 » Typed Operational Semantics |
118
click to vote
WOLLIC
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
154
click to vote
JUCS
2010
14 years 9 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
124
click to vote
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
125
Voted
DASFAA
2004
IEEE
15 years 6 months ago
2004
IEEE
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...