Thumbnail
Access Restriction
Subscribed

Author Sintzoff, Michel
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Abstract The proof that a program verifies some property is carried out by the valuation of the program in a model characterizing that property. Specific models are given for sufficient conditions of the correctness of types, locations and asynchronous computations; a hypothetical programming language is used, which includes functions and locations and allows their recursive composition. The application of the method in studying termination or correctness problems is discussed on particular programs.
Description Affiliation: MBLE Research Laboratory, Brussels (Sintzoff, Michel)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1992-06-30
Publisher Place New York
Journal ACM SIGACT News (SIGA)
Issue Number 14
Page Count 5
Starting Page 203
Ending Page 207


Open content in new tab

   Open content in new tab
Source: ACM Digital Library