16883 search results - page 2768 / 3377 » Generalized Non-Reducible Descriptors |
179
click to vote
OOPSLA
2009
Springer
16 years 2 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
202
click to vote
OOPSLA
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
201
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
200
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
180
click to vote
SPIRE
2009
Springer
16 years 2 months ago
2009
Springer
The directed graph representation of the World Wide Web has been extensively used to analyze the Web structure, behavior and evolution. However, those graphs are huge and do not ...