Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
GraphAlg
The GraphAlg language
Tutorial
Language Specification
Syntax
Operations
Type System
Core Language
Operations
Desugaring to Core
Conversion to Relational Algebra
Relation to for-MATLANG
GraphAlg Playground
Integrating
Available Integrations
Developing a New Integration
GraphAlg Language Specification
A formal definition of the GraphAlg and GraphAlg Core languages.
Table of contents
Syntax
Operations
Type System
Core Language