The STUDIA UNIVERSITATIS BABEŞ-BOLYAI issue article summary

The summary of the selected article appears at the bottom of the page. In order to get back to the contents of the issue this article belongs to you have to access the link from the title. In order to see all the articles of the archive which have as author/co-author one of the authors mentioned below, you have to access the link from the author's name.

 
       
         
    STUDIA INFORMATICA - Issue no. 1 / 2015  
         
  Article:   TOWARDS SAFER PROGRAMMING LANGUAGE CONSTRUCTS.

Authors:  ZOLTÁN PORKOLÁB.
 
       
         
  Abstract:  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.

Key words and phrases. programming languages, compilers, syntactical vulnerabilities, semantical vulnerabilities, compiler techniques, safe language.
 
         
     
         
         
      Back to previous page