The geometry of syntax and semantics for directed file transformations

01/14/2020
by   Steve Huntsman, et al.
0

We introduce a conceptual framework that associates syntax and semantics with vertical and horizontal directions in principal bundles and related constructions. This notion of geometry corresponds to a mechanism for performing goal-directed file transformations such as "eliminate unsafe syntax" and suggests various engineering practices.

READ FULL TEXT
research
06/12/2018

Syntax and Semantics of Cedille

This document presents the syntax, classification rules, realizability s...
research
06/17/2015

Why Bother With Syntax?

This short note discusses the role of syntax vs. semantics and the inter...
research
01/25/2022

Semantics for two-dimensional type theory

In this work, we propose a general notion of model for two-dimensional t...
research
05/08/2020

The Hetero-functional Graph Theory Toolbox

In the 20th century, newly invented technical artifacts were connected t...
research
04/10/2023

Interval Parsing Grammars for File Format Parsing

File formats specify how data is encoded for persistent storage. They ca...
research
09/23/2021

Pregroup Grammars, their Syntax and Semantics

Pregroup grammars were developed in 1999 and stayed Lambek's preferred a...
research
04/24/2022

Simplifying the axiomatization for the order affine geometry

Based on an ordering with directed lines and using constructions instead...

Please sign up or login with your details

Forgot password? Click here to reset