Publication | Open Access
Safe type checking in a statically-typed object-oriented programming language
82
Citations
20
References
1993
Year
Unknown Venue
EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal VerificationGeneric ProgrammingDependently Typed ProgrammingSystems EngineeringStatic CheckingObject-oriented Programming LanguagePolymorphism (Computer Science)Computer EngineeringComputer ScienceType SystemSafe Type CheckingSoftware DesignProgram AnalysisSoftware TestingFormal MethodsObject-oriented Programming
In this paper we introduce a statically-typed, functional, object-oriented programming language, TOOPL, which supports classes, objects, methods, instance variable, subtypes, and inheritance.
| Year | Citations | |
|---|---|---|
Page 1
Page 1