Towards Safer Programming Language Constructs

Áron, Baráth [Baráth, Áron (Új nyelvi elemek ...), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK); Zoltán, Porkoláb [Porkoláb, Zoltán (Programozási nyel...), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
Konferencia: 10TH JOINT CONFERENCE ON MATHEMATICS AND COMPUTER SCIENCE 2014-05-21 [Cluj, Románia]
    Most of the current programming languages inherit their syntax and semantics from technology of the 20th century. Due to the backward compatibility, these properties are still unchanged, however newer technologies require different language constructs and different semantics. Instead of redefining the programming language, the developers enhance the language with new library functions, or they add some -- occasionally ambiguous -- elements to the syntax. Some languages provide very loose syntax, which is harmful, because it leads to critical errors. In other case the interleaving ''normal'' code and exception handling code can obfuscate the developer itself and the subsequent developers. This paper highlights several aspects of language elements such as basic and potentially unsafe elements of the syntax, control flow constructs, elements used in const-correctness, type-system, elements of multiparadigm programming -- generative and functional --, capabilities of embedding a DSL, parallelism support, and taking account of branch prediction. These aspects determine the usablity, safety and learnability of a language. This paper also gives recommendation for a new and safe experimental programming language.
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2020-12-04 12:03