Smalltracer: Um verificador de tipos e condições para Smalltalk
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.
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
Como Citar
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.
