Smalltracer: Um verificador de tipos e condições para Smalltalk

  • Silvio R. L. Meira UFPE
  • Paulo H. C. Lisboa UFPE

Resumo


This paper discusses the difficulty of today's object oriented languages and programming environments to keep together some benefits of the paradigm, such as fast prototyping and linguistic unity in a rider range of stages of the software life cycle. A type and condition environment, Smalltracer is proposed here as a possible solution for some of the problems that occur in Smalltalk and in the Smalltalk/V environment.

Referências

Böcker, Heinz-Dieter and Herezeg, Jürgen "What Tracers Are Made Of", ACM ECOOP/OOPSLA'90 Proceedings, 1990

Boring. Alan H and Ingalls, Daniel H. H. "A Type Declaration and Inference System for Smalkalk", Ninth Symposium on Principles of Progamming Languages, pag 133-141, albuquerque, NM, 1982

Booch, Grady "Object Oriented Design with applications", The Benjanin/Cummings, 1991

Chambers, Craig and Ungar, David "Making Pure Object Oriented Languages Practical", OOPSLA'91, 1991.

Digitalk Inc: "Smalltalk/V Windows Tutorial and Programming Handbook", Digitalk Inc., January 1991.

Goldberg, Adele and Robson, David: "Smalltalk-80 the language", Addison-Wesley, 1989.

Gold, Eric and Rosson, M. B.: "Portia: An Instance-Centered Environment for Smalltalk", ACM - OOPSLA'91 Proceedings, 1991

Hagmann, Robert: "Preferred Classes: A proposal for Faster Smalltalk-80 Execution", Smalltalk-80: Bits of History, Words of Advice, Glen Krasner Editor, Addison-Wesley, 1983.

Henderson-Sellers, B. and Edwards, Julian M.: "Object Oriented Systems Life Cycle", Communications of the ACM, vol. 33, No 9, September 1990.

Hoare, C. A. R.: "Programming: Sorcery or Science?", IEEE, April 1, 1984.

Meira, Silvio R. L. e Santos, Cássio S. "SmallVDM. An Environment for Formal Specification and Prototyping in Smalltalk", V Simpósio Brasileiro de Engenharia de Software, Ouro Preto - MG, outubro 1991

Meyer, B. "Object-Oriented Software Construction", Prentice Hall, 1988.

Meira, S. R. L., Sampaio, A. C. Alves, Cavalcanti, A. L. C. and Borba, P. H. M.: "Métodos Construtivos para o Desenvolvimento Rigoroso de Software", Departamento de Informática - UFPE, 1989.

Sommerville, Ian "Software Engineering", Addison-Wesley, Terceira edição, 1989

Ungar, David and Smith, Randall B. "Self: The Power of Simplicity", ACM - OOPSLA'87 Proceedings, 1987.

Wegner, Peter: "Concepts and Paradigms of Object-Oriented Programming", — OOPS MESSENGER, ACM Press, vol. 1, No. 1, august 1990.
Publicado
04/11/1992
MEIRA, Silvio R. L.; LISBOA, Paulo H. C.. Smalltracer: Um verificador de tipos e condições para Smalltalk. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 6. , 1992, Gramado/RS. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1992 . p. 203-211. DOI: https://doi.org/10.5753/sbes.1992.25184.