ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (2)
  • correctness  (2)
  • 1965-1969  (2)
  • Mathematics  (2)
  • Energy, Environment Protection, Nuclear Power Engineering
Collection
  • Articles  (2)
Source
Keywords
Publisher
Years
Year
Topic
  • Mathematics  (2)
  • Energy, Environment Protection, Nuclear Power Engineering
  • 1
    Electronic Resource
    Electronic Resource
    A constructive approach to the problem of program correctness (1968)
    Springer
    BIT 8 (1968), S. 174-186 
    Details
    ISSN: 1572-9125
    Keywords: Algorithms ; proof ; correctness
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract As an alternative to methods by which the correctness of given programs can be established a posteriori, this paper proposes to control the process of program generation such as to produce a priori correct programs. An example is treated to show the form that such a control might then take. This example comes from the field of parallel programming; the way in which it is treated is representative of the way in which a whole multiprogramming system has actually been constructed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01933419
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Programming by action clusters (1969)
    Springer
    BIT 9 (1969), S. 250-258 
    Details
    ISSN: 1572-9125
    Keywords: Programming ; algorithms ; proof ; correctness ; programming language
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The paper describes a programming discipline, aiming at the systematic construction of programs from given global requirements. The crucial step in the approach is the conversion of the global requirements into sets of action clusters (sequences of program statements), which are then used as building blocks for the final program. The relation of the approach to proof techniques and to programming languages is discussed briefly.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01946816
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...