Strongtalk

E131754

Strongtalk is a high-performance, optionally statically typed implementation of the Smalltalk programming language that introduced advanced type system and virtual machine innovations.

All labels observed (3)

How this entity was disambiguated

Statements (46)

Predicate Object
instanceOf Smalltalk implementation
programming language implementation
acquiredBy Sun Microsystems
acquisitionPurpose virtual machine technology for Java
basedOn Smalltalk
surface form: Smalltalk-80
category object‑oriented programming language implementation
countryOfOrigin United States of America
surface form: United States
designGoal high performance for Smalltalk programs
seamless integration of static and dynamic typing
sound static type system for a dynamic language
developer Animorphic Systems
David Griswold
Gilad Bracha
Lars Bak
Urs Hölzle
executionModel virtual machine
hasComponent Strongtalk class libraries
Strongtalk self-linksurface differs
surface form: Strongtalk type checker

Strongtalk self-linksurface differs
surface form: Strongtalk virtual machine
hasTypingDiscipline dynamic typing
optional static typing
historicalImpact contributed technology to the Java HotSpot VM design
influenced HotSpot JVM
surface form: Java HotSpot virtual machine

Strongtalk type system research in dynamically typed languages
influencedBy Self programming language
Smalltalk-80 virtual machines
license proprietary (originally)
notableFeature advanced garbage collection techniques
advanced static type system for Smalltalk
high‑performance virtual machine
inline caching optimizations
optional type annotations
polymorphic inline caches
type inference mechanisms
notableFor early industrial use of polymorphic inline caches
integration of static typing into a traditionally dynamic language
paradigm object‑oriented
platform SPARC microprocessor architecture
surface form: SPARC architecture
programmingLanguage Smalltalk
supportsFeature advanced method inlining
dynamic type checking
just‑in‑time compilation
optional type declarations for methods
optional type declarations for variables
precise garbage collection
static type checking

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Dart influencedBy Strongtalk
Strongtalk hasComponent Strongtalk self-linksurface differs
this entity surface form: Strongtalk virtual machine
Strongtalk hasComponent Strongtalk self-linksurface differs
this entity surface form: Strongtalk type checker