4438 search results - page 489 / 888 » The Case for Collaborative Programming |
174
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
198
click to vote
PEPM
2000
ACM
15 years 10 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
180
click to vote
PPDP
2000
Springer
15 years 10 months ago
2000
Springer
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...
166
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
153
click to vote
STACS
1991
Springer
15 years 10 months ago
1991
Springer
Bracket languages play an important role in the syntax analysis of programming languages. We investigate the parallel recognition and analysis of these languages as a first step ...