3516 search results - page 187 / 704 » Programming Languages: Application and Interpretation |
186
Voted
DOOD
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
172
click to vote
WS
2008
ACM
15 years 6 months ago
2008
ACM
Semantic Web applications share a large portion of development effort with database-driven Web applications. Existing approaches for development of these database-driven applicati...
176
click to vote
GECCO
2009
Springer
16 years 20 days ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
165
click to vote
CEFP
2005
Springer
15 years 11 months ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
163
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...