NDLI: A Mechanical Approach for Deriving Algorithmic Programs

Content Provider	IEEE Xplore Digital Library
Author	Haihe Shi Jinyun Xue Dawei Du
Copyright Year	2008
Description	Author affiliation: Inst. of Software, Chinese Acad. of Sci., Beijing (Haihe Shi; Jinyun Xue)
Abstract	Formal algorithm derivation is valuable in ensuring resultant algorithm correctness, revealing ideas behind algorithm, and studying automatic algorithm design. An approach called mechanical partition-and-recur (MPAR for short) for deriving algorithmic program is presented. It is built on top of formal method PAR, and provides a series of strategies for mechanical algorithm derivation. Using MPAR, a given problem is partitioned into sub-problems mechanically, according to which the problem specification is transformed to seek the relation between the solutions of original problem and its sub-problems, and then the executable language program is produced automatically. MPAR makes as much work as possible be shifted from the algorithm designers, and thus enables the improvement of productivity and reliability of software.
Starting Page	483
Ending Page	487
File Size	187450
Page Count	5
File Format	PDF
ISBN	9780769531311
DOI	10.1109/ICIS.2008.32
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-05-14
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Partitioning algorithms Software algorithms Algorithm design and analysis Programming Computer science Computer languages Educational institutions Productivity Heart Software tools
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

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs

Introducing formal derivation into the design and analysis of algorithms

The learning of plans in programming: a program completion approach

Practice platform for program design algorithm

Computer-Aided Partitioning of Behavioral Hardware Descriptions

A Generative Approach to Searching Algorithmic Programs Development

A Mixed Key Assignment Algorithm for Secure Multicast

The evolution of data structures

Network Simplex Algorithm for DAG Layering

A Mechanical Approach for Deriving Algorithmic Programs

Similar Documents

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs

Introducing formal derivation into the design and analysis of algorithms

The learning of plans in programming: a program completion approach

Practice platform for program design algorithm

Computer-Aided Partitioning of Behavioral Hardware Descriptions

A Generative Approach to Searching Algorithmic Programs Development

A Mixed Key Assignment Algorithm for Secure Multicast

The evolution of data structures

Network Simplex Algorithm for DAG Layering

A Mechanical Approach for Deriving Algorithmic Programs