6794 search results - page 1260 / 1359 » Semantics of Visual Languages |
ICSE
1993
IEEE-ACM
13 years 12 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
LOPSTR
1992
Springer
13 years 12 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
SIGMOD
1990
ACM
13 years 12 months ago
1990
ACM
The role of database knowledge 1susually limited to the evaluation of data queries In this paper we argue that when this knowledge 1sof substantial volume and complexity, there 1s...
ACMSE
2007
ACM
13 years 12 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
AOSD
2007
ACM
13 years 12 months ago
2007
ACM
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...