1158 search results - page 162 / 232 » Software is discrete mathematics |
106
click to vote
SIGPLAN
2008
15 years 17 days ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
110
Voted
COMPGEOM
2004
ACM
15 years 6 months ago
2004
ACM
A geometric graph is a simple graph G = (V, E) with an embedding of the set V in the plane such that the points that represent V are in general position. A geometric graph is said...
104
click to vote
ISCA
2010
IEEE
15 years 5 months ago
2010
IEEE
Chip Multiprocessors (CMPs) are now commodity hardware, but commoditization of parallel software remains elusive. In the near term, the current trend of increased coreper-socket c...
122
Voted
ICFP
2005
ACM
16 years 19 days ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
115
click to vote
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...