4743 search results - page 373 / 949 » The PlusCal Algorithm Language |
151
click to vote
HPDC
1993
IEEE
15 years 10 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
160
Voted
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
163
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
197
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...
165
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...