1051 search results - page 37 / 211 » Toward Team-Oriented Programming |
IEEECIT
2010
IEEE
13 years 5 months ago
2010
IEEE
Grants are offered for faculty to develop technology courseware projects in universities including Hangzhou Dianzi University (HDU). One of the important factors in courseware deve...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
ADAEUROPE
2007
Springer
14 years 1 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...