6201 search results - page 386 / 1241 » Implementation of Axiomatic Language |
178
Voted
ML
2006
ACM
16 years 25 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
160
Voted
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
219
click to vote
VL
2005
IEEE
16 years 13 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
200
Voted
VLDB
2005
ACM
16 years 10 days ago
2005
ACM
“W3QL: A Query Language for the WWW”, published in 1995, presented a language with several distinctive features. Employing existing indexes as access paths, it allowed the sel...
166
Voted
ICWE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In recent years numerous Web application modeling languages have been developed and others improved. There has, however, been little research on how these languages may b...