Scheme->JVM: Calculating space req's 
Author Message
 Scheme->JVM: Calculating space req's

In order to generate Java bytecode or even Java assembler, you need to
calculate the space requirements of the methods of each class, namely
the size of an array holding local variables, and a local stack
(operand stack) for the method (for holding temporary values, making
calls to and acquiring results from other methods, etc.). These data
structures are put in a so-called frame by the JVM runtime system. A
frame represents a function activation.

In order to generate JVM bytecode from Scheme code, you need to be
able to determine the space requirements statically. It seems to us
that space requirements ARE decidable, since
 a) Scheme is statically scoped, and all bindings are known at compile
    time.
 b) Since you can convert Scheme to Java, and Java is so decidable,
    Scheme should be, too.

Naturally, as budding scientists we wish to make an effort to disprove
this. So, can anyone write a Scheme function whose space requirements
can NOT be calculated, or possibly dig up some research reports
showing that it's impossible? Note that we're only interested in
possible mischief done inside of a function.

--

                                                            www.pvv ~eddie
 ..                avsindig avsindig og alltid bare i begynnelsen av tiden



Fri, 09 Apr 1999 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. REQ>>>Web site using VRML...

2. delelting space if it's one space

3. How can calculate free disk space???

4. Compiling scheme to JVM?

5. PL/I --> JVM

6. Scheme implementation that's closest Avanticorp's version of scheme

7. Req repost - 'Catalogue of interpreted languages'

8. Features/ports/bug fixes for MCC's patches to Scheme->C

9. CALL FOR PAPERS - Usenix JVM '02

10. NYC ST: Smalltalk/JVM , VWNC5i.4 CD's available

11. JVM'01 fast approaching

12. JVM '01 fast approaching

 

 
Powered by phpBB® Forum Software