Según John Backus, para que la computación se acercase más a una ciencia o a una disciplina de ingeniería y menos a un arte, debería convertirse primero en una disciplina matemática y para ello, sería importante lograr que el espacio de programas sea un espacio matemático con respecto a las operaciones de formación de programas o funcionales, y distinguirlo del espacio de valores con sus operaciones específicas de construcción de valores.
rdfs:comment |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
dbpedia-owl:wikiPageWikiLink |
|
Is dbpedia-owl:wikiPageWikiLink of |