Fun and Interesting Thoughts (FIT) is a special event held at the 2010 Conference on Programming Language Design and Implementation (PLDI). FIT is a venue for thoughts that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience.
Many modern programming challenges center on the correct handling of abstract resources whose use is constrained in some way. These constraints include initialization before use, resource cleanup, safe coordination among threads, and usage protocols. Unlike class-based languages, the resource-based programming language Plaid models interfaces, representation, and behavior using states, and an object's state can change. Plaid's gradual, linear logic-based type system and runtime system will track both the state of an object and aliases to it, helping developers to assure that they access objects safely in both sequential and concurrent programs.
For the FIT presentation today, we released a web portal where you can try out Plaid. The portal and other information are available at http://www.plaid-lang.org/
Fun and Interesting Thoughts (FIT) is a special event held at the 2010 Conference on Programming Language Design and Implementation (PLDI). FIT is a venue for thoughts that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience.
Many modern programming challenges center on the correct handling of abstract resources whose use is constrained in some way. These constraints include initialization before use, resource cleanup, safe coordination among threads, and usage protocols. Unlike class-based languages, the resource-based programming language Plaid models interfaces, representation, and behavior using states, and an object's state can change. Plaid's gradual, linear logic-based type system and runtime system will track both the state of an object and aliases to it, helping developers to assure that they access objects safely in both sequential and concurrent programs.
ReplyDeleteIf anyone has trouble with the paper URL above, you can also get the paper at http://www.cs.cmu.edu/~aldrich/papers/pldi-fit10.pdf
ReplyDeleteFor the FIT presentation today, we released a web portal where you can try out Plaid. The portal and other information are available at http://www.plaid-lang.org/
ReplyDeleteığdır
ReplyDeletemaraş
afyon
bandırma
hakkari
J1W