4716 search results - page 805 / 944 » Tangible functional programming |
76
Voted
TYPES
1993
Springer
15 years 2 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
83
Voted
VLDB
1993
ACM
15 years 2 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
108
Voted
VLDB
1994
ACM
15 years 2 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
90
Voted
PARLE
1992
15 years 2 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
74
Voted
SIGMOD
1989
ACM
15 years 2 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...