4743 search results - page 568 / 949 » The PlusCal Algorithm Language |
120
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
155
Voted
AMKM
2003
Springer
15 years 7 months ago
2003
Springer
The semantic web is becoming a realizable technology due to the efforts of researchers to develop semantic markup languages such as the DARPA Agent Markup Language (DAML). A major...
113
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
132
Voted
FASE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is widely used to exchange data. Often, the relevant information contained ...
112
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The use of spreadsheets to capture information is widespread in industry. Spreadsheets can thus be a wealthy source of domain information. We propose to automatically ext...