3844 search results - page 239 / 769 » Modular interpreted systems |
106
Voted
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present the rationale and the main components for a modular and extensible architecture for building and deploying physical hypermedia software. We show that this...
125
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
149
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
127
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
128
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...