748 search results - page 73 / 150 » A Programming Language for Web Service Development |
123
Voted
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
121
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
81
Voted
WWW
2001
ACM
16 years 2 months ago
2001
ACM
The emergence of XML has lead to a change in the development style for Web sites. XML's advantages, such as the separation of content and presentation, or the possibility to ...
114
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
116
click to vote
BTW
2005
Springer
15 years 7 months ago
2005
Springer
: XML has emerged as the industry standard for representing and exchanging data and is already predominant in several applications today. Business, analytic and structered data wil...