2003/01/06 by Pierre Jouvelot, David K. Gifford · 1 citation
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Formal Methods in Verification
paper · doi:10.1109/iccl.1988.13044
openalex publication_date 2003/01/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/31
The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking and side-effect analysis into a single framework and allows the automatic detection of parallelizable expressions at compile-time. In FX-87, every expression has two static properties: a type and an effect. Type and effect polymorphism permits the behavior of first-class procedures to be statically modeled. The integration of type and effect analysis has resulted in the first system that is able (by accurate modeling of the side-effects of procedure values and masking of unobservable effects in the heap) to detect a compile-time, parallelizable constructs in both functional and imperative programs.>