TREX
From MaRDI portal
Software:53376
No author found.
Related Items (19)
Environment classifiers ⋮ Bigraphs and transitions ⋮ The m-calculus ⋮ A generic approach to the static analysis of concurrent programs with procedures ⋮ Discovering affine equalities using random interpretation ⋮ Bitwidth aware global register allocation ⋮ Folklore confirmed ⋮ New results on the computability and complexity of points--to analysis ⋮ Incremental algorithms for dispatching in dynamically typed languages ⋮ From control effects to typed continuation passing ⋮ Coercive subtyping for the calculus of constructions ⋮ A type theory for memory allocation and data layout ⋮ Static prediction of heap space usage for first-order functional programs ⋮ Ownership types for object encapsulation ⋮ Guarded recursive datatype constructors ⋮ A type system for higher-order modules ⋮ Pure patterns type systems ⋮ Boolean operations and inclusion test for attribute-element constraints ⋮ Efficient algorithms for isomorphisms of simple types
This page was built for software: TREX
