1760 search results - page 189 / 352 » A System to Mark Programs Automatically |
132
click to vote
KBSE
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
142
click to vote
FPCA
1993
15 years 7 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
140
Voted
APSEC
2009
IEEE
15 years 6 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
135
Voted
CC
2008
Springer
15 years 5 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
126
click to vote
JPDC
2006
15 years 3 months ago
2006
Distributing data is a fundamental problem in implementing efficient distributed-memory parallel programs. The problem becomes more difficult in environments where the participati...