Polymorphic type, region and effect inference

DOI10.1017/S0956796800000393zbMath0817.68099OpenAlexW2132500556MaRDI QIDQ4764612

Jean-Pierre Talpin, Pierre Jouvelot

Publication date: 4 May 1995

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796800000393

zbMATH Keywords

reconstruction algorithmstatic semanticsparallel code generationautomatic stack allocation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (18)

A generic type system for the pi-calculus ⋮ Interprocedural and flow-sensitive type analysis for memory and type safety of C code ⋮ Shifting the stage ⋮ Dynamic state restoration using versioning exceptions ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ 1ML with Special Effects ⋮ Effect-polymorphic behaviour inference for deadlock checking ⋮ Type-based cost analysis for lazy functional languages ⋮ Modular inference of subprogram contracts for safety checking ⋮ An algebraic theory for shared-state concurrency ⋮ Weak polymorphism can be sound ⋮ Deadlock checking by data race detection ⋮ 1ML – Core and modules united ⋮ Making ``stricterness more relevant ⋮ Region-based memory management ⋮ Backwards type analysis of asynchronous method calls ⋮ A constraint-based region inference algorithm ⋮ A Refinement Methodology for Object-Oriented Programs

Cites Work

• A theory of type polymorphism in programming
• Data Flow Analysis for Procedural Languages
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Polymorphic type, region and effect inference