NDLI: Reasoning about time in higher-level language software

Content Provider	IEEE Xplore Digital Library
Author	Shaw, A.C.
Copyright Year	1976
Abstract	A methodology for specifying and providing assertions about time in higher-level-language programs is described. The approach develops three ideas: the distinction between, and treatment of, both real-time and computer times; the use of upper and lower bounds on the execution times of program elements; and a simple extension of Hoare logic to include the effects of the passage of real-time. Schemas and examples of timing bounds and assertions are presented for a variety of statement types and programs, such as conventional sequential programs including loops, time-related statements such as delay, concurrent programs with synchronization, and software in the presence of interrupts. Examples of assertions that are proved include deadlines, timing invariants for periodic processes, and the specification of time-based events such as those needed for the recognition of single and double clicks from a mouse button.<>
Sponsorship	IEEE Computer Society Technical Council on Software Engineering Association for Computing Machinery (ACM) IEEE Computer Society
Starting Page	875
Ending Page	889
Page Count	15
File Size	1415886
File Format	PDF
ISSN	00985589
Volume Number	15
Issue Number	7
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1989-07-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Timing Logic Software maintenance Clocks Mice Springs Computer science Code standards Software standards Synchronization
Content Type	Text
Resource Type	Article
Subject	Software

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

Reasoning about the function and timing of integrated circuits with interval temporal logic

Robust Synchronization of Absolute and Difference Clocks Over Networks

Instruction Level Timing Mechanisms for Accurate Real-Time Task Scheduling

Compositional semantics of a real-time prototyping language

Modechart: a specification language for real-time systems

Standards-are software engineering process standards really necessary?

Evaluating software engineering standards

Best Practices for Automated Traceability

The State of Software Maintenance

Reasoning about time in higher-level language software

Similar Documents

Reasoning about the function and timing of integrated circuits with interval temporal logic

Robust Synchronization of Absolute and Difference Clocks Over Networks

Instruction Level Timing Mechanisms for Accurate Real-Time Task Scheduling

Compositional semantics of a real-time prototyping language

Modechart: a specification language for real-time systems

Standards-are software engineering process standards really necessary?

Evaluating software engineering standards

Best Practices for Automated Traceability

The State of Software Maintenance

Reasoning about time in higher-level language software