Treffer: Standard Fixpoint Iteration for Java Bytecode Verification.
Title:
Standard Fixpoint Iteration for Java Bytecode Verification.
Authors:
Source:
ACM Transactions on Programming Languages & Systems. Jul2000, Vol. 22 Issue 4, p638. 34p. 13 Charts.
Subject Terms:
Database:
Business Source Premier
Weitere Informationen
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.