2343 search results - page 34 / 469 » Structure and Interpretation of Computer Programs |
137
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
100
click to vote
GRC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
125
click to vote
CIE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
101
click to vote
IIE
2006
15 years 2 months ago
2006
We identify aspects of computing competition formats as they relate to the purpose of these competitions, both stated and tacit. We consider the major international competitions
158
click to vote
VISSOFT
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...