4895 search results - page 717 / 979 » Functional Quantum Programming |
133
Voted
AGP
1997
IEEE
15 years 9 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
134
Voted
MPC
1998
Springer
15 years 9 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
162
click to vote
VLDB
1998
ACM
15 years 9 months ago
1998
ACM
This paper describes a massively parallel object relational (O/R) database used in an advanced development program to create a comprehensive medical information system called the ...
123
click to vote
SIGCSE
1997
ACM
15 years 9 months ago
1997
ACM
In courses involving team programming projects, it is desirable to have team members share files, and establish procedures for developing a configuration. Often, faculty members a...
120
click to vote
COMPCON
1996
IEEE
15 years 9 months ago
1996
IEEE
An important objective of the MicroUnity mediaprocessor is to allow the design of systems that replace hardwired functionality with software. One of the key design techniques that...