Designing text representations for existing data using the TextFormats Specification Language

01/31/2023
by   Giorgio Gonnella, et al.
0

TextFormats is a software system for efficient and user-friendly creation of text format specifications, accessible from multiple programming languages (C/C++, Python, Nim) and the Unix command line. To work with a format, a specification written in the TextFormats Specification Language (TFSL) must be created. The specification defines datatypes for each part of the format. The syntax for datatype definitions in TextFormats specifications is based on the text representation. Thus this system is well suited for the description of existing formats. However, when creating a new text format for representing existing data, the user may use different possible definitions, based on the type of value and the representation choices. This study explores the possible definition syntax in the TextFormats Specification Language to be used for creating text representations of scalar values (e.g. string, numeric value, boolean) and compound data structures (e.g. array, mapping). The results of the analysis are presented systematically, together with examples for each each type of different values that can be represented, and usage advices.

READ FULL TEXT
research
02/17/2018

Generating Python Code From Object-Z Specifications

Object-Z is an object-oriented specification language which extends the ...
research
09/12/2023

Online Name-Based Navigation for Software Meta-languages

Software language design and implementation often involve specifications...
research
01/22/2021

CutLang V2: towards a unified Analysis Description Language

We will present the latest developments in CutLang, the runtime interpre...
research
01/25/2023

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA^+

The main aim of this report is to provide an introductory tutorial on th...
research
06/05/2020

Formalizing line editors in Coq

Text editors represent one of the fundamental tools that writers use - s...
research
09/04/2017

Distributive Laws for Monotone Specifications

Turi and Plotkin introduced an elegant approach to structural operationa...
research
05/17/2021

RL-GRIT: Reinforcement Learning for Grammar Inference

When working to understand usage of a data format, examples of the data ...

Please sign up or login with your details

Forgot password? Click here to reset