NDLI: Typed callbacks for more robust behaviours

Please wait, while we are loading the content...

A decade of Yaws

Erlang ETS tables and software transactional memory: how transactions make ETS tables more like ordinary actors

Model-based testing of data types with side effects

Extracting QuickCheck specifications from EUnit test cases

SFMT pseudo random number generator for Erlang

Implementation of sequence BDDs in Erlang

Accelerating race condition detection through procrastination

A PropEr integration of types and function specifications with property-based testing

Testing a database for race conditions with QuickCheck: none

Disco: a computing platform for large-scale data analytics

Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples

Typed callbacks for more robust behaviours

Test-driven development of concurrent programs using concuerror

Modeling growth and dynamics of neural networks via message passing in Erlang: neural models have a natural home in message passing functional programming languages

Typed callbacks for more robust behaviours

Content Provider	ACM Digital Library
Author	Aronis, Stavros Sagonas, Konstantinos
Abstract	Behaviours are one of the most widely used features of Erlang/OTP. They offer a convenient and well-tested abstraction layer for frequently employed design patterns in concurrent Erlang programming. In effect, they allow programmers to focus on the functional characteristics of their applications without having to resort to Erlang's concurrency-supporting primitives. However, when it comes to ensuring that behaviours are properly used and callbacks are as expected, the current Erlang/OTP compiler performs only minimal checks. This is no fault of the compiler though, because most/all of the callbacks' API exists only in the documentation or the comments accompanying the code; as such, it cannot always be trusted and it is almost impossible to have it mechanically processed. In this paper, we propose a small extension to the language of function specifications of Erlang to allow the formal definition of the behaviours' callback API. We have implemented this extension on the development branch of Erlang/OTP and provide evidence of how it can be leveraged by static analysis tools such as Dialyzer to detect behaviour misuses.
Starting Page	23
Ending Page	29
Page Count	7
File Format	PDF MP4
ISBN	9781450308595
DOI	10.1145/2034654.2034660
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-09-23
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Abstract classes Behaviours Erlang
Content Type	Audio Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in