1173 search results - page 147 / 235 » Program Derivation Using Analogy |
120
Voted
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
115
click to vote
ACTA
1998
15 years 2 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
134
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
As we progress, society must intelligently address the following question: How much risk is acceptable? How we answer this question could have important consequences for the futur...
125
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
121
click to vote
JGS
2006
15 years 2 months ago
2006
In practical applications of area-to-point spatial interpolation, inequality constraints, such as non-negativity, or more general constraints on the maximum and/or minimum allowab...