NDLI: Toward a framework for conceptual and formal outlines of programs

Content Provider	IEEE Xplore Digital Library
Author	Balmas, F.
Copyright Year	1997
Description	Author affiliation: Univ. Paris 8, France (Balmas, F.)
Abstract	The author proposes the re-documentation of programs with outlines. The interesting feature of outlines is that they allow one to contract, as in a zoom, the amount of information necessary to understand programs, easing the localization of given computations or identification of the role of a piece of code. As a first stage toward a framework of program outlines, she has defined a model suited to the representation of computations performed within loops. The main feature of the outlines is that they are both formal and conceptual: they are represented within frames which are semantically equivalent to the outlined loop and help understanding what is computed by revealing how this is computed. In order to re-document loops, she implemented a system, PRISME, able to automatically construct outlines of a subset of Lisp looping functions. PRISME allowed one to validate the implementation of the model. Currently, she uses it intensively to experiment the role of outlines for debugging and reverse specification of programs.
Starting Page	226
Ending Page	235
File Size	1272045
Page Count	10
File Format	PDF
ISBN	0818681624
DOI	10.1109/WCRE.1997.624593
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1997-10-06
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Debugging Contracts Information analysis Legged locomotion Reverse engineering Software engineering Data flow computing Flowcharts Data mining Humans
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 Novel Approach for Static Slicing of Inter-Procedural Programs

Recovering user interface specifications for porting transaction processing applications

A combined representation for the maintenance of C programs

A Standard Process for Data Mining Based Software Debugging

Reverse engineering programs via dynamic analysis

Reverse engineering concurrent programs using formal modelling and analysis

Issues in visualization for the comprehension of parallel programs

Conceptual framework for designing humanoid locomotion control system

A survey and a taxonomy of approaches for testing parallel and distributed programs

Toward a framework for conceptual and formal outlines of programs

Similar Documents

A Novel Approach for Static Slicing of Inter-Procedural Programs

Recovering user interface specifications for porting transaction processing applications

A combined representation for the maintenance of C programs

A Standard Process for Data Mining Based Software Debugging

Reverse engineering programs via dynamic analysis

Reverse engineering concurrent programs using formal modelling and analysis

Issues in visualization for the comprehension of parallel programs

Conceptual framework for designing humanoid locomotion control system

A survey and a taxonomy of approaches for testing parallel and distributed programs

Toward a framework for conceptual and formal outlines of programs