Skip to main content
Ctrl+K
CFPQ_Data 5.0.0 documentation - Home CFPQ_Data 5.0.0 documentation - Home
  • Getting started
  • Dataset
  • Reference
  • Project
  • GitHub
  • PyPI
  • Getting started
  • Dataset
  • Reference
  • Project
  • GitHub
  • PyPI

Section Navigation

  • Graphs
  • Grammars
    • C Alias
    • Dyck
    • Java Points-to
    • Nested Parentheses
  • Indexed Grammars
  • Reachable Pair Counts
  • Benchmarks
  • Dataset
  • Grammars

Grammars#

Release:

5.0.0

Date:

Sep 18, 2026

How to add a new grammar?#

Just create a PR (Pull Request) corresponding to the “Template for adding a new grammar”.


Grammar templates#

Grammar

Class

Kind

Examples

Nested Parentheses

Context-Free

Hierarchical

nested_parentheses.tar.gz 📥

Dyck

Context-Free

Hierarchical

dyck.tar.gz 📥

C Alias

Context-Free

Static Analysis

c_alias.tar.gz 📥

Java Points-to

Context-Free

Static Analysis

java_points_to.tar.gz 📥

On this page
  • How to add a new grammar?
  • Grammar templates

© Copyright 2019-2026, vdshk.

Created using Sphinx 9.0.4.

Built with the PyData Sphinx Theme 0.21.0.