6201 search results - page 216 / 1241 » Implementation of Axiomatic Language |
156
click to vote
WLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
248
click to vote
IWAN
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...
166
click to vote
AC
2000
Springer
15 years 9 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
136
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
150
Voted
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...