Search results
From MaRDI portal
- 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) - 13:33, 6 October 2023
- 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) - 00:39, 10 December 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) - 01:03, 7 October 2023
- 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) - 17:03, 9 December 2023
- 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) - 21:37, 24 September 2023
- sequence 2009-04-07 Paper A simple algorithm for edge-coloring bipartite multigraphs 2009-03-23 Paper Linear Time Algorithms for Finding a Dominating Set of...10 bytes (15 words) - 18:58, 8 December 2023
- 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) - 00:51, 9 December 2023
- 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) - 20:23, 11 December 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 (310 words) - 07:27, 30 January 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 (602 words) - 06:51, 31 January 2024
- (Why is that?) On the complexity of typechecking top-down XML transformations Frontiers of tractability for typechecking simple XML transformations Graph...15 bytes (432 words) - 19:04, 1 February 2024
- transformation between XML and relations Constraints-Preserving Mapping Algorithm from XML-Schema to Relational Schema Publication:4427171 Reasoning about...15 bytes (361 words) - 15:43, 30 January 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 (327 words) - 19:22, 8 February 2024
- tree transducers with macro tree transducers Typechecking for XML transformers An universal resolving algorithm for inverse computation of lazy languages...15 bytes (430 words) - 06:26, 30 January 2024
- 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 (573 words) - 16:41, 30 January 2024
- types and the pi calculus Fundamentals of session types zbMATH Keywords typechecking algorithmtyping rules Mathematics Subject Classification ID Models and...15 bytes (936 words) - 07:20, 3 February 2024
- programming in Agda Title not available (Why is that?) An Efficient Unification Algorithm The lambda calculus, its syntax and semantics Types and programing languages...15 bytes (345 words) - 09:04, 8 February 2024
- On the enumeration of a certain type of hyperplane arrangements A New Algorithm for Enumeration of Cells of Hyperplane Arrangements and a Comparison with...15 bytes (560 words) - 05:40, 7 March 2024
- Techniques and Applications Tridirectional typechecking Termination of nested and mutually recursive algorithms Type fixpoints, iteration vs. recursion A...15 bytes (405 words) - 17:09, 7 February 2024
- Recommendations Publication:4273670 The Power of Extended Top-Down Tree Transducers Algorithm for converting dependency tree to the control space of syntactic structure...15 bytes (344 words) - 05:42, 4 February 2024
