Tecnologia de Objetos Dinâmicos

• Towards an Algebra of Dynamic Object Types: we propose an algebra of object types that characterises the semantics of concurrent objects in a process calculus setting where the communication is asynchronous. The types are non-uniform, and provide an internal (and synchronous) view of the objects that inhabit them. These ideas, along with the algebraic laws, are based on a notion of bisimulation that is unlike other notions in the literature.
• Dylan is a general-purpose, high-level programming language, designed for use in application and systems programming. The name "Dylan" is a portmanteau of the words "dynamic" and "language." Dylan is designed to allow efficient, static compilation of features normally associated with dynamic languages. Dylan was created out of the belief that programs have become too complex for traditional static programming languages. A new generation of software---software that can be built quickly and enhanced over time---requires higher-level programming tools. The core of these tools is a simple and expressive language, one that protects the programmer from low-level implementation details, but still produces efficient executables.