6740 search results - page 548 / 1348 » Using Classification as a Programming Language |
128
Voted
CD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
135
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The...
123
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...
129
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
140
Voted
REFLECTION
2001
Springer
15 years 9 months ago
2001
Springer
This article investigates the security problems raised by the use of proxy-based runtime meta-object protocols (MOPs) for Java and provides an approach for making meta-level code t...