Zobrazeno 1 - 10
of 630
pro vyhledávání: '"Erlang (programming language)"'
Publikováno v:
Erlang Workshop
In this article we test an Erlang implementation of the Noise Protocol Framework, using a novel form of white-box testing. We extend interoperability testing of an Erlang enoise implementation against an implementation of Noise in C. Testing typicall
Autor:
Kyung-il Min
Publikováno v:
Journal of Industrial Convergence. 18:19-25
Autor:
O. P. Ivanov, I. M. Storchak
Publikováno v:
Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport. :117-129
Purpose . The authors aim to determine the differences between functional programming languages, to identify the capabilities of the most popular languages by comparing and analyzing them. To identify the main features, it is necessary to consider th
Autor:
Tae-Jin Yang
Publikováno v:
Journal of Engineering and Applied Sciences. 14:3366-3370
Publikováno v:
International Journal of Computer Integrated Manufacturing. 32:1207-1230
This paper presents a comparison between two standby redundancy implementations within the context of a holonic controller for a manufacturing cell: using the Erlang/OTP programming framewo...
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 107:1-37
One of the main advantages of declarative languages is their clearly established formal semantics, that allows programmers to reason about the properties of programs and to establish the correctness of tools. In particular, declarative debugging is a
Publikováno v:
Afr. Stat. 14, no. 4 (2019), 2141-2164
Nous introduisons une nouvelle distribution appelee distribution Gamma Log-Logistic Erlang Truncated Exponential (GLLoGETE). Des proprietes structurelles de la distribution, y compris le developpement en serie de la fonction de densite, les sous-mode
Autor:
Tobias Wrigstad, Kiko Fernandez-Reyes, Erin Greenwood-Thessman, James Noble, Michael Homer, Isaac Oscar Gariano
Publikováno v:
Onward!
Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-race freedom by design. To enforce data-race freedom, these languages either deep copy objects during actor (thread) communication or proxy back to their owning thread. We present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6f2fc5c85d6e2874af5ee9d9d454601
http://arxiv.org/abs/2109.07541
http://arxiv.org/abs/2109.07541
Autor:
Luis Eduardo Bueso de Barrio, Clara Benac Earle, Ángel Herranz, Julio Mariño, Lars-Åke Fredlund
Publikováno v:
Erlang Workshop
This article presents Makina, a new library and a domain specific language for writing property-based testing models for stateful programs. Models written in the new domain specific language are, using Elixir macros, rewritten into normal QuickCheck
Autor:
Viktória Fördős
Publikováno v:
Erlang Workshop
Delivering secure software is a challenge that every software engineering team needs to face and solve. Methods based on static analysis can help programmers identify security risks in the software. Security checkers built using static analysis metho