5377 search results - page 102 / 1076 » Programming Languages For Interactive Computing |
IFIP
1992
Springer
14 years 1 months ago
1992
Springer
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...
TCS
2010
13 years 7 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
ICS
1998
Tsinghua U.
14 years 1 months ago
1998
Tsinghua U.
The goal of High Performance Fortran (HPF) is to "address the problems of writing data parallel programs where the distribution of data affects performance", providing t...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Adaptive Programming allows developers to write structureshy programs. However, in Adaptive Programming, recursive computations are known to require a good deal of boiler plate co...
POPL
1996
ACM
14 years 1 months ago
1996
ACM
This paper presents program analyses and transformations that discover a general class of auxiliary information for any incremental computation problem. Combining these techniques...