767 search results - page 71 / 154 » Logic for Mathematical Writing |
103
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
105
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Caches often employ write-back instead of writethrough, since write-back avoids unnecessary transfers for multiple writes to the same block. For several reasons, however...
128
click to vote
HT
2005
ACM
15 years 8 months ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
161
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
151
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...