10585 search results - page 420 / 2117 » The Orc Programming Language |
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
210
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
300
click to vote
Book
"The purpose of this book is to teach you how to write GUI programs using Qt 3."
176
click to vote
VL
2003
IEEE
16 years 3 days ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
164
click to vote
PLILP
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...