Sciweavers

10666 search results - page 1488 / 2134
» Quantum programming languages
Sort
View
VRML
2000
ACM
15 years 11 months ago
VRML with constraints
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...
Stephan Diehl, Jörg Keller
PEPM
1999
ACM
15 years 11 months ago
C++ Templates as Partial Evaluation
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
Todd L. Veldhuizen
SAFECOMP
1999
Springer
15 years 11 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
WCRE
1998
IEEE
15 years 11 months ago
Type Inference for COBOL Systems
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
Arie van Deursen, Leon Moonen
SAC
1998
ACM
15 years 11 months ago
Open, distributed coordination with finesse
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
Andrew Berry, Simon M. Kaplan
« Prev « First page 1488 / 2134 Last » Next »