Will we think in programming languages?
Modern science commonly uses computer modelling. Thousands of scientific model are daily transformed to computers programs and tested. The transformation must overcome the gap between abstract human formal notation and low level semantics of contemporary programming languages. The simultaneous knowl...
Main Author: | |
---|---|
Format: | Article |
Language: | ces |
Published: |
Prague University of Economics and Business
2012-12-01
|
Series: | Acta Informatica Pragensia |
Subjects: | |
Online Access: | http://aip.vse.cz/index.php/aip/article/download/11/9 |