You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
F~ is a subset of F# with several constraints.
Many transformation phases (specially the one for inferring cardinality and translating into DPS representation) are based on the assumption that the given program is in this subset.
It would be great to have a phase which checks these constraints.
The text was updated successfully, but these errors were encountered:
amirsh
changed the title
A verification phase to ensure whether a given program a valid F~ program
A verification phase to ensure whether a given program is a valid F~ program
Oct 10, 2016
F~ is a subset of F# with several constraints.
Many transformation phases (specially the one for inferring cardinality and translating into DPS representation) are based on the assumption that the given program is in this subset.
It would be great to have a phase which checks these constraints.
The text was updated successfully, but these errors were encountered: