FreeLists / networknewsletters / [CS-TR] Dartmouth TR2004-521

[networknewsletters] || [Date Prev] [10-2004 Date Index] [Date Next] || [Thread Prev] [10-2004 Thread Index] [Thread Next]

[CS-TR] Dartmouth TR2004-521

From: Educational CyberPlayGround <admin@xxxxxxxxxxxxxxx>
To: NetworkNewsletters@xxxxxxxxxxxxx
Date: Tue, 26 Oct 2004 09:45:45 -0400

**************************************************************
Educational CyberPlayGround Community [ECP]
http://www.edu-cyberpg.com/

Subscribe - Unsubscribe - Email Preferences
http://www.edu-cyberpg.com/Community/index.html

Network Newsletters Mailing List ©1994
<http://www.edu-cyberpg.com/Community/NetworkNewsletters.html>

Find out how to Advertise on K12 Newsletters Mailing List
<http://www.edu-cyberpg.com/Community/Subguidelines.html>
**************************************************************
Date:         Thu, 21 Oct 2004 23:36:39 -0400
Reply-To:     David Kotz <dfk@xxxxxxxxxxxxxxxxxxxxxx>
Sender:       Dartmouth CS Technical Reports <CS-TR@xxxxxxxxxxxxxxxxxxxxxx>


The Department of Computer Science at Dartmouth College
announces a new technical report:

Composing a Well-Typed Region

Dartmouth Technical Report TR2004-521

          Chris Hawblitzel
          Heng Huang
          Lea Wittie

Date: October 2004


Abstract:
  Efficient low-level systems need more control over memory than
  safe high-level languages usually provide. In particular, safe languages
  usually prohibit explicit deallocation, in order to prevent dangling 
pointers.
  Regions provide one safe deallocation mechanism; indeed, many region calculi
  have appeared recently, each with its own set of operations and often complex
  rules. This paper encodes regions from lower-level typed primitives (linear
  memory, coercions, and delayed types), so that programmers can design 
their own
  region operations and rules.

To obtain an electronic copy, point your web browser to the URL
    <http://www.cs.dartmouth.edu/reports/abstracts/TR2004-521/>.
Most reports are available in electronic format.
You can either download them directly or order them to be sent through email.

To order a paper copy, write to reports@xxxxxxxxxxxxxxxx or to
         Technical Report Librarian
         Department of Computer Science
         Dartmouth College
         6211 Sudikoff Laboratory
         Hanover, NH 03755-3510
         USA
Ask for technical report TR2004-521, and be sure to include your own
mailing address.


<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>
EDUCATIONAL CYBERPLAYGROUND 
http://www.edu-cyberpg.com

Net Happenings, K12 Newsletters, Network Newsletters
http://www.edu-cyberpg.com/Community/index.html

FREE EDUCATION VENDOR DIRECTORY LISTING
http://www.edu-cyberpg.com/Directory/default.asp

HOT LIST OF SCHOOLS ONLINE
http://www.edu-cyberpg.com/Schools/default.asp

Educational CyberPlayGround Services
http://www.edu-cyberpg.com/PS/Home_Products.html
<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>~~~~~<>