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