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...
|Published in:||Philosophy & Technology, Vol. 27, No. 3 (2014), p. 377-397|
|QR Code:||Show QR Code|