1438 search results - page 105 / 288 » An Expressive Extension of TLC |
85
Voted
FSTTCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
70
Voted
RTA
2001
Springer
15 years 5 months ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...
102
Voted
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
Methods for performing component matching by expressing an arithmetic specification and a bit-level description of an implementation as word-level polynomials have been demonstrat...
89
Voted
SSDBM
1998
IEEE
15 years 5 months ago
1998
IEEE
A relation is an unordered collection of records. Often, however, there is an underlying order (e.g., a sequence of stock prices), and users want to pose queries that reflect this...
ECOOP
1998
Springer
15 years 5 months ago
1998
Springer
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...