C∀: Adding modern programming language features to C

2018 ◽  
Vol 48 (12) ◽  
pp. 2111-2146
Author(s):  
Aaron Moss ◽  
Robert Schluntz ◽  
Peter A. Buhr

Author(s):  
Kamil Gut ◽  
Maria Skublewska-Paszkowska ◽  
Edyta Łukasik ◽  
Jakub Smołka

In 2014, Apple unveiled a completely new programming language for the iOS and OS X platforms. Swift was presented as a modern programming language, such as: safe, easy to learn and easy to use. This article presents the performance comparison between the Swift and Objective-C languages. For the purpose of the research, two applications were developed, one in each language, implementing sorting algorithms and data structures such as arrays, dictionaries and sets.



10.29007/2w2f ◽  
2018 ◽  
Author(s):  
Klaus Havelund

We argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level programming. We illustrate this by comparing the language with the VDM++ specification language. The comparison also identifies areas where Scala perhaps could be improved, inspired by VDM++. We furthermore illustrate Scala's potential as a specification language by augmenting it witha combination of parameterized state machines and temporal logic, defined as a library, thereby forming an expressive but simple runtime verification framework.



2014 ◽  
Vol 35 (28) ◽  
pp. 2056-2069
Author(s):  
Taweetham Limpanuparb ◽  
Josh Milthorpe ◽  
Alistair P. Rendell


The article describes the types of distribution laws that can be used to determine the reliability of the device (element), analyzed the most frequently used methods for calculating the reliability. When calculating the reliability functions, the modern programming language "Swift" is used and their algorithms are described.



2010 ◽  
Vol 666 ◽  
pp. 138-141 ◽  
Author(s):  
Dawid Giebel ◽  
Jerzy Kansy

LT 10 is a new version of LT program designed to analysis of Positron Annihilation Lifetime Spectra (PALS). The new program is equipped with a new user interface and other features unavailable in its previous versions. It has been created again in a modern programming language and is now compatible with the latest operating systems.



2020 ◽  
Vol 7 (1) ◽  
pp. 136-139
Author(s):  
Dragomir Marchev ◽  
Georgi Dimitrov ◽  
Nataliya Pavlova ◽  
Doroteq Vasileva ◽  
Borislav Borisov ◽  
...  

AbstractThis short communication presents a second version of the program SpectraView (SV2). The Second Version of SpectraView for Spectra Analysis is based on data collected with 2-m RCC telescope at Rozhen National Astronomical Observatory. This version is equipped with new user interface and other features unavailable in its previous versions. It has also been created using modern programming language and is now compatible with the latest operating systems. The program has been tested on the observations of the five short-period variable stars.



1978 ◽  
Vol 9 (4) ◽  
pp. 213-219
Author(s):  
Carol McCall Davis

This article describes methods of language programming for profoundly mentally retarded children that are based on linguistic principles. Examples of program contents are drawn from research reports and include cuing procedures, as well as progress from receptive through imitative behaviors, labeling responses, and grammatical sequencing.







Sign in / Sign up

Export Citation Format

Share Document