BOOK-CHAPTER
Dynamic Manipulation of Types in Misty — A Statically Typed Object-Oriented Programming Language
Year: 1993 Advances in software science and technology Pages: 163-188 Publisher: Elsevier BV
Keywords:
Programming language Computer science Object-oriented programming Artificial intelligence
Metrics
1
Cited By
0.53
FWCI (Field Weighted Citation Impact)
14
Refs
0.60
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Parallel Computing and Optimization Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Related Documents
JOURNAL ARTICLE
Advantages of dynamic method-oriented mechanism in a statically typed object-oriented programming language Z0
Year: 2006 Vol: 952 Pages: 433-438
JOURNAL ARTICLE
Safe type checking in a statically-typed object-oriented programming language
Year: 1993 Pages: 285-298
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