2004 search results - page 136 / 401 » Interaction nets: programming language design and implementa... |
160
click to vote
LDTA
2010
15 years 4 months ago
2010
This paper investigates the suitability of contemporary DSL tools in the context of enterprise software development. The main focus is on integration issues between the DSL tool, ...
185
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
152
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
This paper takes polymorphism to the multi-object level. Traditional inheritance, polymorphism, and late binding interact nicely to provide both flexibility and safety – when a ...
304
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
In recent years, systems have emerged that enable end users to “mash” together existing web services to build new web sites. However, little is known about how well end users ...
146
click to vote
PLDI
2006
ACM
16 years 7 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...