Search results
From MaRDI portal
Did you mean: type checking algorithm
- non-divergence in session-typed processes 2016-06-09 Paper Tridirectional typechecking 2015-11-11 Paper A modal analysis of staged computation 2015-10-30 Paper...10 bytes (15 words) - 18:19, 10 April 2026
- de/entity/Q4829035 2004-11-29 Paper XML with data values: Typechecking revisited. 2003-08-19 Paper Typechecking for XML transformers 2003-06-25 Paper An algebra...10 bytes (13 words) - 18:05, 10 April 2026
- with data values: Typechecking revisited. 2003-08-19 Paper https://portal.mardi4nfdi.de/entity/Q4414534 2003-07-25 Paper Typechecking for XML transformers...10 bytes (14 words) - 19:33, 10 April 2026
- Paper Typical peak sidelobe level of binary sequences 2017-07-27 Paper Typechecking XML views of relational databases 2017-06-13 Paper Counting contours...10 bytes (15 words) - 17:08, 10 April 2026
- https://portal.mardi4nfdi.de/entity/Q3789049 1988-01-01 Paper Basic polymorphic typechecking 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3332229 1984-01-01...10 bytes (15 words) - 03:02, 11 April 2026
- Expressions with Counting: Weak versus Strong Determinism 2009-10-16 Paper Typechecking top-down XML transformations: Fixed input or output schemas 2008-08-14...10 bytes (13 words) - 17:43, 10 April 2026
- 2022-03-31 Paper Safety of a smart classes-used regression test selection algorithm 2021-02-22 Paper Verifying Optimizations for Concurrent Programs 2019-10-24...10 bytes (14 words) - 14:33, 6 October 2023
- Paper The Tractability Frontier for NFA Minimization 2008-08-19 Paper Typechecking top-down XML transformations: Fixed input or output schemas 2008-08-14...10 bytes (13 words) - 02:03, 7 October 2023
- Formal verification of algorithm \(\mathcal{W}\): the monomorphic case Type checking and problem of overloaded arguments Algorithm of construction of a type...15 bytes (306 words) - 08:27, 30 January 2024
- Model-based testing of probabilistic systems K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths Formal Techniques, Modelling and Analysis...12 bytes (885 words) - 13:06, 13 March 2026
- type foundation for RDF Schema Typechecking top-down XML transformations: Fixed input or output schemas Subtyping algorithm of regular tree grammars with...12 bytes (391 words) - 07:52, 13 March 2026
- total, deterministic, ultralinear, and bounded erasing, we present an algorithm that, for a given transducer from that class, (1) decides whether it is...15 bytes (568 words) - 03:17, 12 April 2026
- determinacy Graph grammars for querying graph-like data XRules: an effective algorithm for structural classification of XML data Partially ordered regular languages...15 bytes (463 words) - 01:34, 13 April 2026
- (Why is that?) On the complexity of typechecking top-down XML transformations Frontiers of tractability for typechecking simple XML transformations Graph...15 bytes (445 words) - 20:04, 1 February 2024
- and predictability of annotations. We give an algorithm for implementing the declarative system; our algorithm is remarkably simple and well-behaved, despite...15 bytes (342 words) - 20:22, 8 February 2024
- types and the pi calculus Fundamentals of session types zbMATH Keywords typechecking algorithmtyping rules Mathematics Subject Classification ID Models and...15 bytes (932 words) - 08:20, 3 February 2024
- Database Programming Languages OCaml + XDuce Frontiers of tractability for typechecking simple XML transformations XPi: a typed process calculus for XML messaging...12 bytes (441 words) - 07:52, 13 March 2026
- proportional representation The optimal LLL algorithm is still polynomial in fixed dimension. Further parameterized algorithms for the \(\mathcal{F}\)-free edge...15 bytes (1,024 words) - 22:39, 3 February 2024
- Generation Tools for Solving the Clique Number Problem On the complexity of typechecking top-down XML transformations Bracket-languages are recognizable in logarithmic...15 bytes (598 words) - 21:25, 13 April 2026
- maximization in binary variables by a parallel zonotope construction algorithm Goffin's algorithm for zonotopes Bounding the number of \(k\)-faces in arrangements...15 bytes (559 words) - 06:40, 7 March 2024
