1401 search results - page 170 / 281 » Tool Integration for Reasoned Programming |
115
Voted
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
Recent studies have shown that programming in a Partition Global Address Space (PGAS) language can be more productive than programming in a message passing model. One reason for th...
153
click to vote
ITCC
2002
IEEE
15 years 6 months ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
122
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
107
click to vote
TSE
2008
15 years 1 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
152
click to vote
SCP
1998
15 years 1 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...