Programming Languages as Technical Artifacts

Taken at face value, a programming language is defined by a formal grammar. But, clearly, there is more to it. By themselves, the naked strings of the language do not determine when a program is correct relative to some specification. For this, the constructs of the language must be given some seman...

Full description

Bibliographic Details
Published in:Philosophy & Technology, Vol. 27, No. 3 (2014), p. 377-397
Main Author: Turner, Raymond
Format: electronic Article
Physical Description:Online-Ressource
QR Code: Show QR Code