Accéder directement au contenu Accéder directement à la navigation
Rapport

"1/0" is not nonsense - A novel way to interpret terms, such that every term is defined

Abstract : Terms, as written and read by computer programmers, algebraists or logicians, are composite names, i.e., syntactically correct sequences of proper names and variables. Although all terms are very easy to write and copy, as easy as the term is short, many seem so strange, the monster "1/0" being at the extreme, that most people consider them nonsense. Yet, they appear everywhere in specifications of computer programs. So there is at least one good reason to smooth the field down, and adopt an interpretation-procedure executing which you never fail, i.e., you always understand the term, any term.
Type de document :
Rapport
Liste complète des métadonnées

https://hal.inria.fr/inria-00077013
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:50:14
Dernière modification le : samedi 17 septembre 2016 - 01:06:48
Document(s) archivé(s) le : vendredi 13 mai 2011 - 22:32:11

Fichiers

Identifiants

  • HAL Id : inria-00077013, version 1

Collections

Citation

Aristide Megrelis. "1/0" is not nonsense - A novel way to interpret terms, such that every term is defined. [Research Report] RR-1773, INRIA. 1992. ⟨inria-00077013⟩

Partager

Métriques

Consultations de la notice

124

Téléchargements de fichiers

56

  翻译: