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...

Full description

Bibliographic Details
Main Author: Jiří Fišer
Format: Article
Language:ces
Published: Prague University of Economics and Business 2012-12-01
Series:Acta Informatica Pragensia
Subjects:
F#
Boo
Online Access:http://aip.vse.cz/index.php/aip/article/download/11/9