1270 search results - page 177 / 254 » A Domain Specific Language to Generate Web Applications |
109
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
112
click to vote
ICLP
2009
Springer
15 years 7 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
231
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
106
Voted
ENTCS
2006
15 years 18 days ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
105
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...