STUDIA UNIVERSITATIS

AMBIENTUM BIOETHICA BIOLOGIA CHEMIA DIGITALIA DRAMATICA EDUCATIO ARTIS GYMNAST. ENGINEERING EPHEMERIDES EUROPAEA GEOGRAPHIA GEOLOGIA HISTORIA HISTORIA ARTIUM INFORMATICA IURISPRUDENTIA MATHEMATICA MUSICA NEGOTIA OECONOMICA PHILOLOGIA PHILOSOPHIA PHYSICA POLITICA PSYCHOLOGIA-PAEDAGOGIA SOCIOLOGIA THEOLOGIA CATHOLICA THEOLOGIA CATHOLICA LATIN THEOLOGIA GR.-CATH. VARAD THEOLOGIA ORTHODOXA THEOLOGIA REF. TRANSYLVAN ROMÂNA ENGLISH INFO PARTENERI ADRESE DE CONTACT ACCES PARTENERI FORMULAR ABONAMENT NEWSLETTER & DOWNLOAD CELE MAI NOI APARITII APARITII ÎN ANUL CURENT TOATA ARHIVA STUDIA CAUTARE ÎN ARHIVA ISTORIE PREZENT SCOP SI OBIECTIVE ECHIPA


	Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.


	STUDIA INFORMATICA - Ediţia nr.1 din 2015

	Articol:	TOWARDS SAFER PROGRAMMING LANGUAGE CONSTRUCTS. Autori: ZOLTÁN PORKOLÁB.


	Rezumat: 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 diﬀerent language constructs and diﬀerent 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.




			Revenire la pagina precedentă