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-80 ⓘ
linked to: Smalltalk
category object‑oriented programming language implementation ⓘ
countryOfOrigin 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 type checker ⓘ
linked to: Strongtalk

Strongtalk virtual machine ⓘ
linked to: Strongtalk
hasTypingDiscipline dynamic typing ⓘ
optional static typing ⓘ
historicalImpact contributed technology to the Java HotSpot VM design ⓘ
influenced Java HotSpot virtual machine ⓘ
linked to: HotSpot JVM

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 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 (8)

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

Dart → influencedBy → Strongtalk ⓘ
Strongtalk → hasComponent → Strongtalk virtual machine ⓘ
linked to: Strongtalk
Strongtalk → hasComponent → Strongtalk type checker ⓘ
linked to: Strongtalk
Animorphic Systems → notableWork → Strongtalk ⓘ
Animorphic Systems → product → Strongtalk ⓘ
Gilad Bracha → knownFor → Strongtalk ⓘ
Gilad Bracha → coCreatorOf → Strongtalk ⓘ
David Griswold → knownFor → Strongtalk ⓘ