840 search results - page 5 / 168 » Programming the future |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
OOPSLA
2005
Springer
14 years 28 days ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
JCHE
2010
13 years 2 months ago
2010
This paper presents a pre-orientation program for incoming college students, Active Citizenship through Technology (ACT), that engaged students in civic dialogue early in their aca...
ENTCS
2010
13 years 7 months ago
2010
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
EXPERT
2006
13 years 7 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...