Concept
Definite clause grammar
Related publications (7)
Quand les artistes font forme en habitant ensemble. Usages, présences, imaginaires.
Taking root within a historical and transversal perspective of communities of artists at work, and of the relationship that they nourish with the places that host their creative activity, the present research intends to bring to light the grammars of "the ...
EPFL2022Gramatron: Effective Grammar-Aware Fuzzing
Fuzzers aware of the input grammar can explore deeper program states using grammar-aware mutations. Existing grammar-aware fuzzers are ineffective at synthesizing complex bug triggers due to: (i) grammars introducing a sampling bias during input generation ...
ASSOC COMPUTING MACHINERY2021Towards Automating Grammar Equivalence Checking
Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan
We consider from practical perspective the (generally undecidable) problem of checking equivalence of context-free grammars. We present both techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalen ...
2015Grammar-Based Tree Compression
Grammar-based compression means to find a small grammar that generates a given object. Such a grammar reveals the structure of the object (according to the grammar formalism used); the main advantage of this compression method is that the resulting grammar ...
2004