2135 search results - page 340 / 427 » An Operational Semantics for JavaScript |
121
click to vote
EDBT
2002
ACM
16 years 2 months ago
2002
ACM
An important issue in data integration is the integration of semantically equivalent but schematically heterogeneous data sources. Declarative mechanisms supporting powerful source...
137
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
124
click to vote
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
118
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
114
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...