Sciweavers

CL
1999
Springer
13 years 4 months ago
Optimizing floating point operations in Scheme
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...
W. F. Wong
CL
1999
Springer
13 years 4 months ago
Simulating multiple inheritance and generics in Java
Krishnaprasad Thirunarayan, Günter Kniesel, H...
CL
1999
Springer
13 years 4 months ago
Synchronization abstraction in the BETA programming language
Kasper Østerbye, Wolfgang Kreutzer
CL
1999
Springer
13 years 4 months ago
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
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...
Jimmy Ho-Man Lee, Ho-fung Leung
CL
1999
Springer
13 years 4 months ago
Compositional Petri net models of advanced tasking in Ada-95
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...
Ravi K. Gedela, Sol M. Shatz, Haiping Xu