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. Sp.%20Issue%201 / 2014  
         
  Article:   ERLANG-LIKE DYNAMIC TYPING IN C++.

Authors:  MELINDA TÓTH. 		 
       
         
  Abstract:   Each programming language has its type system. In simple terms, when the type checking takes place at compile time we call this language statically typed. On the other hand, if the type checking is done at runtime, it is a dynamically typed language. In this paper we present the key di fferences between the two approaches by choosing two general purpose programming languages, one from each category. Erlang is a dynamically typed language with an infrastructure for developing highly available, distributed applications. However for computation intensive tasks for performance reasons a statically typed language would be a better choice. This paper introduces a method of interoperability between Erlang and C++   in the perspective of type systems.

2010 Mathematics Subject Classi cation. 68N15, 68N19.1998 CR Categories and Descriptors. D.3.3 [Programming Languages]: Language Constructs and Features - Data types and structures; F.3.1 [Logics and Meanings of Programs]: Semantics of Programming Languages - Algebraic approaches to semantics.

Key words and phrases. Connecting programming languages, Erlang, C++  , interoperability, type system, data mining, static code analysis, graph representation.
 
         
     
         
         
      Back to previous page