A Cognitive Type System Simulation by a Dynamically Typed Language | Zendy

Viacheslav Wolfengagen | Zendy; Sergey Kosikov | Zendy; Igor O. Slieptsov | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Cognitive Type System Simulation by a Dynamically Typed Language

Author(s) -

Viacheslav Wolfengagen,

Sergey Kosikov,

Igor O. Slieptsov

Publication year - 2018

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2018.11.069

Subject(s) - computer science , type (biology) , programming language , artificial intelligence , natural language processing , ecology , biology

The paper considers the problem of ensuring the functional safety of the program by eliminating typing errors. It describes the classification of errors according to the place of their origin and detection and the classification of error detection tools at the stage when the errors are detected. An approach is proposed to improve safety by simulating and using a type system in dynamically typed language that allows identifying and localizing the errors while running the program.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research