2226 search results - page 221 / 446 » Pdk: The System and Its Language |
172
click to vote
DM
2010
15 years 6 months ago
2010
An infinite word is S-automatic if, for all n 0, its (n+1)st letter is the output of a deterministic automaton fed with the representation of n in the numeration system S. In this...
176
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
193
click to vote
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
162
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
163
click to vote
CACM
1998
15 years 6 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...