Most relevant papers?

Google Group
1

Hongwei,

Out of the papers listed on your website
http://www.cs.bu.edu/~hwxi/academic/publications.html which one or ones do
you recommend that closely reflects the theory behind the current ATS and
that is relatively accessible? I have been browsing through some of them
and would love to hear your opinion on this.

Thanks,
Haitao

2

Does any paper contain the current semantics of ATS2? For example stack
allocated types and linear types? Or is this covered by the type theory in
these papers but just not explicitly spelled out? For example what governs
how these types should be mixed. I suppose linear types can contain regular
datatypes? But can regular datatypes contain linear types? (structurally
contain) I suppose stack allocated types can contain heap allocated types
but not the other way around, but is there a rule that governs that?

Thanks,
HaitaoOn Sunday, March 2, 2014 8:26:47 AM UTC-8, gmhwxi wrote:

These papers are the most important ones:

The last paper is about programming with views (linear propositions).
At this point, there has been very little written about linear types in
ATS.

The following two papers are relatively easy to access:

A Linear Type System for Multicore Programminghttp://dx.doi.org/10.1016/j.scico.2012.09.005
A Programmer-Centric Approach to Program Verification in ATS
On Sunday, March 2, 2014 2:30:11 AM UTC-5, H Zhang wrote:

Hongwei,

Out of the papers listed on your website
http://www.cs.bu.edu/~hwxi/academic/publications.html which one or ones
do you recommend that closely reflects the theory behind the current ATS
and that is relatively accessible? I have been browsing through some of
them and would love to hear your opinion on this.

Thanks,
Haitao

3

The semantics of ATS2 has not be formalized at this
point. To do it requires a very large amount of effort.

what governs how these types should be mixed.

The type theory of ATS.

As can be expected, a non-linear value cannot contain linear values
but a linear value can contain non-linear values.

A heap-allocated value can contain a stack-allocated value as long as
the former is freed before the latter. This is enforced by the type system
of
ATS.On Tuesday, March 4, 2014 1:20:59 AM UTC-5, H Zhang wrote:

Does any paper contain the current semantics of ATS2? For example stack
allocated types and linear types? Or is this covered by the type theory in
these papers but just not explicitly spelled out? For example what governs
how these types should be mixed. I suppose linear types can contain regular
datatypes? But can regular datatypes contain linear types? (structurally
contain) I suppose stack allocated types can contain heap allocated types
but not the other way around, but is there a rule that governs that?

Thanks,
Haitao

On Sunday, March 2, 2014 8:26:47 AM UTC-8, gmhwxi wrote:

These papers are the most important ones:

The last paper is about programming with views (linear propositions).
At this point, there has been very little written about linear types in
ATS.

The following two papers are relatively easy to access:

A Linear Type System for Multicore Programminghttp://dx.doi.org/10.1016/j.scico.2012.09.005
A Programmer-Centric Approach to Program Verification in ATS
On Sunday, March 2, 2014 2:30:11 AM UTC-5, H Zhang wrote:

Hongwei,

Out of the papers listed on your website
http://www.cs.bu.edu/~hwxi/academic/publications.html which one or ones
do you recommend that closely reflects the theory behind the current ATS
and that is relatively accessible? I have been browsing through some of
them and would love to hear your opinion on this.

Thanks,
Haitao

4

These papers are the most important ones:

The last paper is about programming with views (linear propositions).
At this point, there has been very little written about linear types in ATS.

The following two papers are relatively easy to access:

A Linear Type System for Multicore Programminghttp://dx.doi.org/10.1016/j.scico.2012.09.005
A Programmer-Centric Approach to Program Verification in ATSOn Sunday, March 2, 2014 2:30:11 AM UTC-5, H Zhang wrote:

Hongwei,

Out of the papers listed on your website
http://www.cs.bu.edu/~hwxi/academic/publications.html which one or ones
do you recommend that closely reflects the theory behind the current ATS
and that is relatively accessible? I have been browsing through some of
them and would love to hear your opinion on this.

Thanks,
Haitao