83 search results - page 11 / 17 » The Sources of Certainty in Computation and Formal Systems |
108
click to vote
CHI
1994
ACM
15 years 5 months ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
IWPC
2005
IEEE
15 years 7 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
107
click to vote
POPL
2003
ACM
15 years 7 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
101
click to vote
COLING
2000
15 years 3 months ago
2000
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...
103
click to vote
FORTE
2004
15 years 3 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...