570 search results - page 45 / 114 » SGNET: Implementation insights |
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...
CIE
2007
Springer
15 years 6 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
MICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
BTW
2009
Springer
15 years 6 months ago
2009
Springer
: Users of front office applications such as call center or customer support applications make millions and millions of decisions each day without analytical support. For example, ...
112
click to vote
CADE
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...