Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• revCPP A reversible C++ preprocessor  + (revCPP)
• Semantics driven disambiguation: A comparison of different approaches  + (Transformers)
• Semantics driven disambiguation: A comparison of different approaches  + (Transformers)
• Semantics driven disambiguation  + (Transformers)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  + (Transformers)
• eXtended Reactive Modules  + (model-checking)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• Semantics driven disambiguation  + (Transformers)
• C++ template disambiguation with Transformers Attribute Grammars  + (Transformers)
• Implementing a C++ extension with Transformers: class namespace  + (Transformers)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• eXtended Reactive Modules  + (model-checking)
• Implémentation d'une extension du C++ dans Transformers: class namespace  + (Transformers)
• revCPP A reversible C++ preprocessor  + (revCPP)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Front-end Promela dans Spot  + (Spot)
• A Promela front-end for Spot  + (Spot)

• A Promela front-end for Spot  + (promela front-end)
• Front-end Promela dans Spot  + (promela front-end)

• Property-Based Genericity: A Dynamic Approach  + (Climb)
• La généricité par propriétés  + (Climb)
• Parser d'expressions rationnelles  + (parser)
• Automata Reduction  + (parser)
• Rational Expression Parser  + (parser)
• Reduction d'automates  + (parser)
• Representing and Computing with Types in Dynamically Typed Languages  + (rational language)
• Recognizing Heterogeneous Sequences by Rational Type Expression  + (rational language)
• Performance Comparison of Several Folding Strategies  + (fold)
• Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map  + (fold)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (automata)
• Bisimulation-based Reductions on TGBA  + (automata)
• Regression benchmarking  + (regression benchmark)
• Regression benchmarking  + (regression benchmark)
• revCPP A reversible C++ preprocessor  + (revCPP)
• revCPP A reversible C++ preprocessor  + (revCPP)
• revCPP A reversible C++ preprocessor  + (revCPP)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• PaInleSS: a Framework for Parallel SAT Solving  + (parallel)
• Monads in Common Lisp  + (monad)
• Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set  + (types)
• Generic epsilon-removal  + (Vaucanson)