Academic Journal
Standard Fixpoint Iteration for Java Bytecode Verification.
| Τίτλος: | Standard Fixpoint Iteration for Java Bytecode Verification. |
|---|---|
| Συγγραφείς: | Qian, Zhenyu |
| Πηγή: | ACM Transactions on Programming Languages & Systems. Jul2000, Vol. 22 Issue 4, p638. 34p. 13 Charts. |
| Θεματικοί όροι: | *Chaos theory, Java programming language software |
| Περίληψη: | 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. |
| Βάση Δεδομένων: | Business Source Index |
καταχωρήστε σχόλιο πρώτοι!