Could I get some references on formal semantics for a calculus on linear algebra that helps you study matrix or tensor based programming languages? I am looking for anything that encompasses linear or multilinear algebra objects and operations as first class constructs.

I remember seeing something on it a while ago but I can't seem to find that paper or any other reference on the subject. If there is any specific terminology that would help me search for it better it would also be appreciated.

  • 2
    $\begingroup$ I'm confused as to what kind of features you are looking for in this hypothetical language. Presumably, formal semantics of the operands simply correspond to the appropriate mathematical operation in (multi)-linear algebra. $\endgroup$
    – cody
    May 13, 2015 at 23:06
  • 1
    $\begingroup$ As cody says, the question is a bit unfocussed. Most programming languages define linear algebra libraries, which lifts the formal semantics of the base language to the linear algebra operations. $\endgroup$ May 14, 2015 at 1:41


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy