TREX Tree Regular Expressions for XML. TREX has been merged with RELAX to create RELAX NG. All future development of TREX will take place as part of the RELAX NG effort. Many of TREX resources on this page are already available for RELAX NG. The remainder will be converted in the near future.

References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Hosoya, Haruo; Murata, Makoto: Boolean operations and inclusion test for attribute-element constraints (2006)
  2. Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi: Pure patterns type systems (2003)
  3. Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir: A generic approach to the static analysis of concurrent programs with procedures (2003)
  4. Boyapati, Chandrasekhar; Liskov, Barbara; Shrira, Liuba: Ownership types for object encapsulation (2003)
  5. Carter, Larry; Ferrante, Jeanne; Thomborson, Clark: Folklore confirmed: reducible flow graphs are exponentially larger (2003)
  6. Chakaravarthy, Venkatesan T.: New results on the computability and complexity of points-to analysis (2003)
  7. Chen, Gang: Coercive subtyping for the calculus of constructions (extended abstract) (2003)
  8. Dreyer, Derek; Crary, Karl; Harper, Robert: A type system for higher-order modules (2003)
  9. Gulwani, Sumit; Necula, George C.: Discovering affine equalities using random interpretation (2003)
  10. Hofmann, Martin; Jost, Steffen: Static prediction of heap space usage for first-order functional programs (2003)
  11. Jensen, Ole H√łgh; Milner, Robin: Bigraphs and transitions (2003)
  12. Petersen, Leaf; Harper, Robert; Crary, Karl; Pfenning, Frank: A type theory for memory allocation and data layout (2003)
  13. Schmitt, Alan; Stefani, Jean-Bernard: The M-calculus: a higher-order distributed process calculus (2003)
  14. Taha, Walid; Nielsen, Michael Florentin: Environment classifiers (2003)
  15. Tallam, Sriraman; Gupta, Rajiv: Bitwidth aware global register allocation (2003)
  16. Thielecke, Hayo: From control effects to typed continuation passing (2003)
  17. Xi, Hongwei; Chen, Chiyan; Chen, Gang: Guarded recursive datatype constructors (2003)
  18. Zibin, Yoav; Gil, Joseph (Yossi): Incremental algorithms for dispatching in dynamically typed languages (2003)
  19. Zibin, Yoav; Gil, Joseph (Yossi); Considine, Jeffrey: Efficient algorithms for isomorphisms of simple types (2003)