NDLI: Analysis issues for cyclone

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

Volume 42

Volume 41

Volume 28, Issue 6, November 2003

Volume 28, Issue 5, September 2003

Volume 28, Issue 4, July 2003

Volume 28, Issue 3, May 2003

Volume 28, Issue 2, March 2003

Volume 28, Issue 1, January 2003

Monitoring deployed software using software tomography

STEP

Using the observer design pattern for implementation of data flow analyses

Longitudinal program analysis

Recompilation for debugging support in a JIT-compiler

Selective path profiling

Flow equations as a generic programming tool for manipulation of attributed graphs

Analysis issues for cyclone

Instruction-level reverse execution for debugging

Combining static and dynamic data in code visualization

The code of many colors

How to write system-specific, static checkers in metal

Analysis issues for cyclone

Content Provider	ACM Digital Library
Author	Morrisett, Greg
Abstract	Cyclone [1, 2] is an experimental, type-safe programming language based upon the syntax, semantics, and spirit of C. The primary goal of the language is to provide a type-safe environment that is close enough to C in both appearance and functionality, that systems programmers will find it attractive and useful.The most challenging aspect of the design is capturing the spirit of C without compromising type-safety. In particular, systems programmers expect to have good control over data representations, memory management, and performance. Yet, these features are usually absent from high-level, type-safe languages (e.g., Java). Another challenge is validating a sufficiently wide set of idioms that are in fact type-safe, but which conventional type systems reject.To address these issues, we have used a novel combination of typing features in conjunction with some interesting inference and dataflow techniques. The most novel typing feature is the support for region-based memory management which was summarized in an earlier paper [1]. However, this paper did not discuss the inference techniques we use to validate the regions and effects.In this talk, I will briefly summarize the Cyclone type system and then focus on the analysis issues that arise in its implementation, including (a) kind and type inference, (b) region and effect inference, and (c) dataflow analysis for validating initialization, array subscripts, and linear pointers.
Starting Page	26
Ending Page	26
Page Count	1
File Format	PDF
ISSN	01635948
DOI	10.1145/634636.586096
Journal	ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number	28
Issue Number	1
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article

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

A cyclone statistics for the Arctic based on European Centrere-analysis data

Analysis issues for cyclone

Tropical cyclone wind field forcing for surge models: critical issues and sensitivities

Estimating tropical cyclone precipitation from station observations

Importance of tropical cyclone heat potential for tropical cyclone intensity and intensification in the Western North Pacific

Type-safe multithreading in cyclone

Impact of bogus vortex for track and intensity prediction of tropical cyclone

Climatology and classification of Spring Saharan cyclone tracks

Verification of tropical cyclone heat potential for tropical cyclone intensity forecasting in the Western North Pacific

Analysis issues for cyclone

Similar Documents

A cyclone statistics for the Arctic based on European Centrere-analysis data

Analysis issues for cyclone

Tropical cyclone wind field forcing for surge models: critical issues and sensitivities

Estimating tropical cyclone precipitation from station observations

Importance of tropical cyclone heat potential for tropical cyclone intensity and intensification in the Western North Pacific

Type-safe multithreading in cyclone

Impact of bogus vortex for track and intensity prediction of tropical cyclone

Climatology and classification of Spring Saharan cyclone tracks

Verification of tropical cyclone heat potential for tropical cyclone intensity forecasting in the Western North Pacific

Analysis issues for cyclone