Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Inside Smalltalk: vol. 1
Understanding CLOS: the Common LISP object system
Understanding CLOS: the Common LISP object system
Strongtalk: typechecking Smalltalk in a production environment
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
The Sather programming language
Dr. Dobb's Journal
ACM Computing Surveys (CSUR)
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Java virtual machine
Making the future safe for the past: adding genericity to the Java programming language
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
C and tcc: a language and compiler for dynamic code generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parametric polymorphism in Java: an approach to translation based on reflective features
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Foundations of object-oriented languages: types and semantics
Foundations of object-oriented languages: types and semantics
Object-Oriented Software Construction
Object-Oriented Software Construction
A Theory of Objects
Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
Programming as an Experience: The Inspiration for Self
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Zero-a blend of static typing and dynamic metaprogramming
Computer Languages, Systems and Structures
| Hi-index | 0.00 |
Z0 is a tiny experimental class-based pure object-oriented programming language. Its key features include syntactic simplicity, similarity with Java [8], strong static typing, pure object abstraction, and some dynamic mechanism which are normally only found in dynamic languages. Z0 provides a unified, object-oriented treatment of all values, primitive, user-defined, and even control structures. In a nutshell, everything is an object. As far as object "purity" is concerned, Z0 looks to Smalltalk [6] and Self [20,17]. Z0 uses a clean and strict method-based model. There are no explicit instance variables, only methods. A dynamic, compile-time checkable method update mechanism is provided to make methods manipulable at run time. Inheritance model is simple and straightforward. Variant type system and dynamic typing with Self enable a high degree of typing flexibility that is statically safe and can be efficiently implemented. Because Z0 is compiled for a virtual machine (JVM-like [13]), it is much more efficient in execution than interpreted languages.