2343 search results - page 155 / 469 » Structure and Interpretation of Computer Programs |
123
Voted
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
A new approach is proposed that exploits repetition inherent in programs to provide low-overhead transient fault protection in a processor. Programs repeatedly execute the same in...
169
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
280
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
131
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
143
click to vote
TPHOL
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...