3713 search results - page 567 / 743 » Constructing a Calculus of Programs |
111
click to vote
IFL
2001
Springer
15 years 7 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
111
click to vote
ACSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
110
click to vote
VRML
2000
ACM
15 years 7 months ago
2000
ACM
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
143
click to vote
ADL
2000
Springer
15 years 7 months ago
2000
Springer
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...