VERIS: A Secure, Readable, and Ownership-Based Programming Language for General-Purpose Software Development

This repository contains the complete research artefacts supporting the paper entitled: “VERIS: A Secure, Efficient, Hybrid General-Purpose Programming Language” The materials I've shared here are meant to ensure full transparency, reproducibility, and reusability of the results reported in the paper. The dataset includes the formal language specification, compiler scaffold, example source programs, benchmark outputs, and system architecture diagrams referenced in the manuscript. Contents of the Repository Language Specification: Detailed documentation describing the design goals, syntax, type system, control flow mechanisms, and security model of the VERIS programming language. Compiler Scaffold: Reference implementation outlining the VERIS compilation pipeline, including front-end parsing and LLVM IR integration. Example Programs: Sample VERIS source files demonstrating core language features such as immutability, control flow, and basic input/output. Benchmark Results: Performance measurements used to support the evaluation section of the paper. Architecture Diagrams: Visual representations of the VERIS system and compiler architecture as referenced in the manuscript. Purpose and Reuse The artefacts in this repository enable independent researchers to: Reproduce the experimental results reported in the paper Inspect and evaluate the VERIS language design Extend or adapt the VERIS compiler framework for further research Licence All materials are released under the MIT License, permitting unrestricted reuse, modification, and distribution with appropriate attribution. Relation to the Article This dataset directly supports the findings and analyses presented in the associated journal article and satisfies the Open Data requirements of the publisher.