10575 search results - page 376 / 2115 » Programming Languages |
257
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
219
click to vote
WCFLP
2005
ACM
16 years 9 days ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
175
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
157
click to vote
ICFP
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
296
click to vote
Book
"The purpose of this book is to teach you how to write GUI programs using Qt 3."