Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
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 |