16844 search results - page 314 / 3369 » How to Design Programs |
125
click to vote
COMPUTER
2007
15 years 6 months ago
2007
AI research explains the strangest feature of software and tell us how to understand larger programs.
147
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
195
click to vote
IEEECGIV
2006
IEEE
16 years 22 days ago
2006
IEEE
New technological developments offer new collaborative design environments to designers. There is a great interest in these new tools however it is clear that we know very little ...
148
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
181
click to vote
DLS
2005
15 years 8 months ago
2005
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...