5343 search results - page 453 / 1069 » Keyword programming in java |
158
Voted
TSE
2008
15 years 4 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
163
click to vote
PVLDB
2008
15 years 3 months ago
2008
Queries, or calls to stored procedures/user-defined functions are often invoked multiple times, either from within a loop in an application program, or from the where/select claus...
137
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
275
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
249
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
XML programming involves idioms for expressing `structure shyness' such as the descendant axis of XPath or the default templates of XSLT. We initiate a discussion of the rela...