CL
1999
Springer
13 years 11 months ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
CL
1999
Springer
13 years 11 months ago
1999
Springer
CL
1999
Springer
13 years 11 months ago
1999
Springer
CL
1999
Springer
13 years 11 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
CL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...