Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Axioms of Versioning
View through CrossRef
The problems of language versioning can be better understood with the help of some formal axioms defining the relations among the extensions and semantics of languages. Such axioms allow us to specify what makes one language extensionally, syntactically, or semantically a subset, superset, or equivalent of another. The difference between syntactic and semantic compatibility makes clear how languages can grow in a forward-compatible way. The key to compatible versioning is to assign new semantics in the new version of a language for syntax that was already accepted in the prior version, but to which the prior version assigned no semantics.
Title: Axioms of Versioning
Description:
The problems of language versioning can be better understood with the help of some formal axioms defining the relations among the extensions and semantics of languages.
Such axioms allow us to specify what makes one language extensionally, syntactically, or semantically a subset, superset, or equivalent of another.
The difference between syntactic and semantic compatibility makes clear how languages can grow in a forward-compatible way.
The key to compatible versioning is to assign new semantics in the new version of a language for syntax that was already accepted in the prior version, but to which the prior version assigned no semantics.
Related Results
Causality-based versioning
Causality-based versioning
Versioning file systems provide the ability to recover from a variety of failures, including file corruption, virus and worm infestations, and user mistakes. However, using version...
A Machine Learning Approach to Determine the Semantic Versioning Type of NPM Packages Releases
A Machine Learning Approach to Determine the Semantic Versioning Type of NPM Packages Releases
Semantic versioning policy is widely used to indicate the level of changes in a package release. Unfortunately, there are many cases where developers do not respect the semantic ve...
CREATE SOLUTIONS FOR VERSIONING AND MANAGING DATASETS USED IN AI AND ML.
CREATE SOLUTIONS FOR VERSIONING AND MANAGING DATASETS USED IN AI AND ML.
It is also essential to correctly version and manage datasets to make them easily recognizable, traceable, and sharable throughout the various stages of AI & ML model developme...
CREATE SOLUTIONS FOR VERSIONING AND MANAGING DATASETS USED IN AI AND ML.
CREATE SOLUTIONS FOR VERSIONING AND MANAGING DATASETS USED IN AI AND ML.
It is also essential to correctly version and manage datasets to make them easily recognizable, traceable, and sharable throughout the various stages of AI & ML model developme...
A New SEPARATION AXIOM ii-T_(1/4)
A New SEPARATION AXIOM ii-T_(1/4)
This research aims to continue the investigation of ii-T_(1/4) spaces, specifically their behavior when producing products. As a result, we may easily design non-ii-T_(1/4)spaces a...
Correlation between the principle of justice and legal axioms
Correlation between the principle of justice and legal axioms
The objects of this research are the principle of justice as a universal fundamental, cornerstone and key cohesive general legal superprinciple and the legal axioms as transmitters...
Revealed Relative Utilitarianism
Revealed Relative Utilitarianism
We consider the aggregation of individual agents’ von Neumann-Morgenstern preferences over lotteries into a social planner’s von Neumann-Morgenstern preference. We start from Harsa...
ResearchEquals Policy: Updating research outputs transparently
ResearchEquals Policy: Updating research outputs transparently
This document sets out how ResearchEquals versions research outputs and applies updates to DOIs in Crossref metadata (i.e., [Crossmark Policy](https://www.crossref.org/documentatio...