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
Search GraphAlg
Language Specification
Core Language
GraphAlg Core
A formal definition of the GraphAlg Core language.
Table of contents
Operations
Desugaring to Core
Conversion to Relational Algebra
Relation to for-MATLANG