2713 search results - page 246 / 543 » Parameterized Tree Systems |
237
click to vote
Book
A set of presentations covering the book, which includes the following topics ER Model and Conceptual Design, The Relational Model and SQL DDL, Relational Algebra, SQL, Database Ap...
149
click to vote
OORASE
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
142
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
155
click to vote
HOA
1993
15 years 10 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
182
click to vote
FUN
2010
Springer
15 years 10 months ago
2010
Springer
We introduce a new number system that supports increments with a constant number of digit changes. We also give a simple method that extends any number system supporting increments...