scientific article; zbMATH DE number 1953123
From MaRDI portal
Publication:4414525
zbMath1022.68521MaRDI QIDQ4414525
Yannis Papakonstantinou, Victor Vianu
Publication date: 25 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2572/25720047.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Enumeration for FO Queries over Nowhere Dense Graphs, Frontiers of tractability for typechecking simple XML transformations, 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, On the complexity of typechecking top-down XML transformations, Efficient algorithms for isomorphisms of simple types
