A Deterministic Algorithm for Identifying Direct Superclasses in Java

• Autorzy: Langmaack H. , Salwicki A. , Warpechowski M.
• Języki publikacji: EN

Abstrakty

EN

In an earlier article [5] we analyzed the problem of determining direct superclasses in Java and Java-like languages. We gave a specification of the problem showing that it closely reflects the requirements of [2]. We presented a non-deterministic algorithm and proved its correctness and completeness. This paper presents a deterministic algorithm which elaborates direct superclasses. The new algorithm is better for it presents all details of implementation and its cost seems lower than the cost of the non-deterministic algorithm. Another advantage of the proposed algorithm is error recovery. Should the algorithm report an error it continues its job and possibly reports more errors in one pass.

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 85, nr 1-4
• Strony: 343--357
• Opis fizyczny: bibliogr. 7 poz.

Twórcy

autor

Langmaack H.

autor

Salwicki A.

autor

Warpechowski M.

• National Institute of Telecommunications, Szachowa 1, 04-854 Warsaw, Poland,

Bibliografia

• [1] Eickel, B.: Thinking in Java, 4 edition, Prentice Hall, 2005.
• [2] Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3 edition, Addison-Wesley, 2005.
• [3] Igarashi, A., Pierce, B.: On inner classes, Information and Computation, 177, 2002, 56-89.
• [4] Langmaack, H., Salwicki, A., Warpechowski, M.: Identification of direct superclasses, http://duch.mimuw.edu.pl/_salwicki/CSP2007/presentationLagow/IdentifyDirectSuperclasses.pdf, 2008.
• [5] Langmaack, H., Salwicki, A.,Warpechowski,M.: On an algorithm determining direct superclasses in Javalike languages with inner classes - its correctness, completeness and uniqueness of solutions., Information and Computation, to appear, 2008.
• [6] Salwicki, A., Warpechowski,M.: Notes of lecture at Lagow CSP2007 Conference, http://duch.mimuw.edu.pl/_salwicki/CSP2007/presentationLagow/prezentacja21Listop2007.pdf, 2007.
• [7] Stärk, R., Schmid, J., Börger, E.: Java and Java Virtual Machine Definition, Validation, Specification, Springer Verlag, Berlin, 2001.