Practical type inference based on success typings

Lindahl, Tobias; Sagonas, Konstantinos

doi:10.1145/1140335.1140356

Cited by 67 publications

(50 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Percept2, a user can view the activeness of schedulers from the overview page by selecting the scheduler option from the drop list. The scheduler activity graph, as shown in Fig 5 generated by profiling type checking the Erlang erts library using Dialyzer [18], has a similar layout to the process activity graph shown in Fig 1, except that the Y-axis represents the number of active schedulers. Process Migration.…”

Section: Percept2mentioning

confidence: 99%

Multicore profiling for Erlang programs using percept2

Thompson

2013

Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang

View full text Add to dashboard Cite

Erlang is a functional programming language with built-in support for concurrency based on share-nothing processes and asynchronous message passing. The design of Erlang makes it suitable for writing concurrent and parallel applications, taking full advantage of the computing power of modern multicore machines. However many existing Erlang applications are sequential, in need of parallelisation.In this paper, we present the Erlang concurrency profiling tool Percept2, and demonstrate how the information provided by it can help the user to explore the potential parallelism in an Erlang application and how the system performs on the Erlang multicore system. Percept2 thus allows users improve the performance and scalability of their applications.

show abstract

Section: Percept2mentioning

confidence: 99%

Multicore profiling for Erlang programs using percept2

Thompson

2013

Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang

View full text Add to dashboard Cite

show abstract

“…In practice, some static analysis must be used to approximate the clauses. In our implementation we use Typer [10] that uses the type inference system of Dialyzer [11] producing a complete approximation.…”

Section: Input/output Edgesmentioning

confidence: 99%

“…(6) while(Sum,I,Top) -> (7) if (8) I /= Top -> {NSum,NI} = a(Sum,I), (9) while(NSum,NI,Top-1) (10) I == Top -> {Sum,Top}; (11) end. …”

Section: Introductionmentioning

confidence: 99%

System Dependence Graphs in Sequential Erlang

Silva

Tamarit

Tomás

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The system dependence graph (SDG) is a data structure used in the imperative paradigm for different static analysis, and particularly, for program slicing. Program slicing allows us to determine the part of a program (called slice) that influences a given variable of interest. Thanks to the SDG, we can produce precise slices for interprocedural programs. Unfortunately, the SDG cannot be used in the functional paradigm due to important features that are not considered in this formalism (e.g., pattern matching, higher-order, composite expressions, etc.). In this work we propose the first adaptation of the SDG to a functional language facing these problems. We take Erlang as the host language and we adapt the algorithms used to slice the SDG to produce precise slices of Erlang interprocedural programs. As a proof-of-concept, we have implemented a program slicer for Erlang based on our SDGs.

show abstract

“…Dialyzer, the DIscrepancy AnalYZer for ERlang, is a static analyzer for the Erlang programming language based on soft-typing principles [47]. Dialyzer is very popular among Erlang programmers and, according to a 2008 survey, it was the most used tool for testing or statically-analyzing Erlang programs [48].…”

Section: Success Typesmentioning

confidence: 99%

“…To justify the unusual error-reporting strategy behind Dialyzer, Lindahl and Sagonas introduced the concept of success typings [47]. The purpose of traditional type systems is to rule out all programs that go wrong.…”

Section: Success Typesmentioning

confidence: 99%

Typing Dynamic Languages: A Review

GUALANDI¹

View full text Add to dashboard Cite

Practical type inference based on success typings

Cited by 67 publications

References 9 publications

Multicore profiling for Erlang programs using percept2

Multicore profiling for Erlang programs using percept2

System Dependence Graphs in Sequential Erlang

Typing Dynamic Languages: A Review

Contact Info

Product

Resources

About