Essays about: "ocaml"

Found 2 essays containing the word ocaml.

1. 1. Investigation of Reason as a substitute for JavaScript

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Axel Pettersson; [2020]
   Keywords : Programming languages; Computer Science; JavaScript; Comparative Study; Reason; Programmeringsspråk; datavetenskap; JavaScript; jämförande studie; Reason;

   Abstract : JavaScript has in recent years become one of the most utilized programming languages for developing different kinds of applications. However, even though it has received a lot of praise for its simplicity, versatility and highly active community, it lacks some functionalities and features that a lot of programmers highly value, like static and strict typing, compile-time debugging, and to not be required to make use of third-party libraries to integrate crucial functionality. READ MORE

3. 2. Model Checking C Programs by Translating C to Promela

   University essay from Institutionen för informationsteknologi

   Author : Ke Jiang; [2009]
   Keywords : ;

   Abstract : Nowadays, the cost of program errors is increasing from day to day, so software reliability becomes a critical problem to the whole world. C is one of the most popular programming languages, and has been widely used for developing all types of software. READ MORE