JOURNAL ARTICLE
Safe type checking in a statically-typed object-oriented programming language
Abstract
In this paper we introduce a statically-typed, functional, object-oriented programming language, TOOPL, which supports classes, objects, methods, instance variable, subtypes, and inheritance.
Keywords:
Programming language Computer science Object-oriented programming Inheritance (genetic algorithm) Type safety Functional programming
Metrics
82
Cited By
17.80
FWCI (Field Weighted Citation Impact)
32
Refs
1.00
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Advanced Software Engineering Methodologies
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Adding concurrency to a statically type-safe object-oriented programming language
Peter A. BuhrG. DitchfieldC. R. Zarnke
Journal: ACM SIGPLAN Notices Year: 1988 Vol: 24 (4)Pages: 18-21
JOURNAL ARTICLE
Adding concurrency to a statically type-safe object-oriented programming language
Peter A. BuhrG. DitchfieldC. R. Zarnke
Year: 1988 Pages: 18-21
BOOK-CHAPTER
An operational semantics for TOOPLE: A statically-typed object-oriented programming language
Kim B. BruceJonathan CrabtreeGerald Kanapathy
Lecture notes in computer science Year: 1994 Pages: 603-626
JOURNAL ARTICLE
Reverse inheritance in statically typed object-oriented programming languages
Ciprian-Bogdan ChirilăMarkku SakkinenPhilippe LahireIoan Jurca
Year: 2010 Pages: 1-5