Bibliographic Details
| Title: |
Standard Fixpoint Iteration for Java Bytecode Verification. |
| Authors: |
Qian, Zhenyu |
| Source: |
ACM Transactions on Programming Languages & Systems. Jul2000, Vol. 22 Issue 4, p638. 34p. 13 Charts. |
| Subject Terms: |
*Chaos theory, Java programming language software |
| Abstract: |
Focuses on a study which presented a chaotic fixpoint iteration which represents a family of fixpoint computation strategies to compute a least type for each Java Virtual Machine (JVM) program. Background on chaotic iteration and fixpoint theorems; Discussion of JVM program; Explanation on the chaotic fixpoint iteration. |
| Database: |
Business Source Index |