548 search results - page 34 / 110 » On the Limitations of Power Macromodeling Techniques |
AAAI
1994
15 years 14 days ago
1994
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...
100
click to vote
IDEAS
2009
IEEE
14 years 8 months ago
2009
IEEE
We consider the class of database programs and address the problem of minimizing the cost of their exchanges with the database server. This cost partly consists of query execution...
106
click to vote
LICS
2008
IEEE
15 years 5 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...
100
click to vote
JMLC
2000
Springer
15 years 2 months ago
2000
Springer
A namespace is a mapping from labels to values. Most programming languages support different forms of namespaces, such as records, dictionaries, objects, environments, packages and...