5090 search results - page 911 / 1018 » Constructing Strategies for Programming |
123
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
114
click to vote
IANDC
2008
15 years 3 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
147
click to vote
COMPUTER
2006
15 years 3 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
CORR
2006
Springer
15 years 3 months ago
2006
Springer
John McCleary insisted in his interesting textbook entitled "User's guide to spectral sequences" on the fact that the tool "spectral sequence" is not in t...
126
click to vote
CAL
2007
15 years 3 months ago
2007
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...