7430 search results - page 649 / 1486 » Programming Applications in CIFF |
155
click to vote
CTCS
1989
Springer
15 years 11 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
163
click to vote
CSCW
1990
ACM
15 years 11 months ago
1990
ACM
In contrast to the common view of spreadsheetsas "single-user" programs, we have found that spreadsheetsoffer surprisingly strong support for cooperative development of ...
184
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
190
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
187
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...