2135 search results - page 272 / 427 » An Operational Semantics for JavaScript |
130
click to vote
ENTCS
2008
15 years 3 months ago
2008
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
141
click to vote
ENTCS
2006
15 years 3 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
121
click to vote
FUIN
2006
15 years 3 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
107
click to vote
ML
2008
ACM
15 years 2 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
136
click to vote
PRL
2006
15 years 2 months ago
2006
Information retrieval which aims to provide people with easy access to all kinds of information is now becoming more and more emphasized. However, most approaches to information r...