Taco Grammar

[JWesleySM]

Is there an official grammar for the tensor index notation used by taco expressions?

I have found and read the one at Section 4.2 of Kjølstad's Ph.D. Thesis, but I'm not sure whether it represents the current state of taco.

[zhang677]

Some other papers of the TACO project also contain parts of the grammar.

For example, Automatic Generation of Efficient Sparse Tensor Format Conversion Routines (PLDI 20') contains the grammar for "attribute query language", and Compilation of Sparse Array Programming Models (OOPSLA 21') contains definitions for sparse array programming like "Annihilator" which you may come across when going through TACO's code base.

I'm also new to TACO. Hope these papers can help you.

[JWesleySM]

Thank you, @zhang677! I've also found the paper Tensor Algebra Compilation with Workspaces (CGO'19) that depicts a grammar (Fig 3.). Said grammar is for concrete index notation though.

[zhang677]

You're welcome, @JWesleySM! Yeah, concrete index notation is part of TACO's grammar. The whole process of TACO can be found in Fig 1-5 of Fredrik's Ph.D. Thesis.