6740 search results - page 381 / 1348 » Using Classification as a Programming Language |
160
Voted
AFP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
120
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...
110
Voted
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
160
Voted
TSE
2011
14 years 10 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
126
Voted
LPNMR
1999
Springer
15 years 7 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...