检索结果-内蒙古大学图书馆

An algebraic approach to the syntax and semantics of languages with subscripted variables

Periodica Mathematica Hungarica 1984年第1期15卷 61-71页

作者： Hartwig, R. Sektion Mathematik Karl-Marx-Universität Leipzig Karl-Marx-Platz DDR-7010 Germany (Democratic Republic DDR)

The notion of subscripted variable leads to several complications in computer science. Our aim is to clarify this notion in a mathematically proper way. In this paper languages with subscripted variables are considered as certain two-sorted Peano-algebras;semantics and substitution are treated on this foundation. The Hoare axiom for assignments to subscripted variables is derived as an example for application of this algebraic approach. © 1984 Akadémiai Kiadó, Budapest.

关键词： AMS (MOS) subject classifications (1980): Primary 68B10, Secondary 08A55, 68F20 assignment conformic partial homomorphism heterogeneous partial algebra Hoare axiom Programming languages reference reference change semantics subscripted variables substitution syntactical algebra

来源：评论

学校读者我要写书评

暂无评论

The Multiple Assignment Statement

引用

IEEE Transactions on Software Engineering 1978年第2期SE-4卷 89-93页

作者： Gries, David Department of Computer Science Cornell University Ithaca NY 14853 United States

The conventional axiomatic definitions are given for multiple assignment to simple variables and for assignment to a single subscripted variable, along with examples to illustrate their use. The original contributions of this paper are the extension of the definition to include multiple assignment to several subscripted variables, and the development of a nontrivial, practical algorithm in which multiple assignment to several subscripted variables is indeed useful. Arguments are given to support the conjecture that the use of subscripted variables, like the use of pointers, can lead to exponential explosion of the length of a proof (and thus of the time needed to understand a program) unless the programmer is careful. © 1978, IEEE. All rights reserved.

关键词： Axiomatic definition multiple assignment subscripted variables

来源：评论

学校读者我要写书评

暂无评论

The Home Computer Course 06

引用

2017年

[Auto Generated] contents of A(2), which is 9, and so on. exactly what is going on. Line 20 sets variable N to the number of numbers we want to sort. Let's assume we want to soit five numbers: when the program is run we will type in 5 and then hit RETURN. Line 30 is the DIMension statement. If N is 5, it sets the size of the array to 5. This line is equivalent to DIM A(5). Lines 40 to 60 are a FOR-NEXT loop that allows us to type in the five numbers. Most versions of basic prompt the user with a

关键词： atari basic programming cassette computer computer course computer industry course cpu data disk disk drive flow diagram oil company program programmers sinclair sir clive subscripted subscripted variables systems programmers type print

来源：评论

学校读者我要写书评

暂无评论

Englishelectric :: Kdf9 :: Kdf 9 Algol Programming

引用

2016年

[Auto Generated] LIST OF ABBREVIATIONS USED IN THIS MANUAL iv SECTION 1 INTRODUCTION SECTION 2 'IWO STIIll'LE PROGRAMS 5 SECTION 3' PROGRAM STRUCTURE AND BASIC SYMBOLS 7 SECTION 4 DECIMAL NUMBERS 9 SECTION 5' IDENTIFIERS 11 SECTION 6 SDlIPLE ARI'J.'H!.{ETIC EXPRESSIONS 13 SEXlTION 7' SIMPLE BOOLEAN EXPRESSIONS 17 SECTION 8 ARITHMETIC AND BOOLEAN EXPclESSIONS 19 If Clauses 8 1 19 Use of the If Clause in Arithmetic Expressions 8 2 19 Use of the If Clause in Boolean Expressions 8'3 20 A Use for Par

关键词： algol arithmetic arithmetic expression arithmetic expressions array basic symbols block structure boolean boolean expression englishelectric expression formal parameters goto integer procedure procedure body program programming simple arithmetic simple boolean statement subscripted variables

来源：评论

学校读者我要写书评

暂无评论

Ibm :: 360 :: Csmp :: Speckhart a Guide to Using Csmp 1976

引用

2016年

Ibm :: 360 :: Csmp :: Speckhart a Guide to Using Csmp 1976 by published by

关键词： advanced features csmp csmp iii csmp program fortran frequency response function guide integration macro output procedure function program program statement speckhart statement statements subscripted variables timer fintim transfer function using variables xxx xxx

来源：评论

学校读者我要写书评

暂无评论

Ten Years of Hoare's Logic: A Survey—Part I

引用

ACM Transactions on Programming Languages and Systems (TOPLAS) 1981年第4期3卷 431-483页

作者： Apt, Krzysztof R. Erasmus University

A survey of various results concerning Hoare's approach to proving partial and total correctness of programs is presented. Emphasis is placed on the soundness and completeness issues. Various proof systems for while programs, recursive procedures, local variable declarations, and procedures with parameters, together with the corresponding soundness, completeness, and incompleteness results, are discussed. © 1981, ACM. All rights reserved.

关键词： arithmetical interpretation call-by-name call-by-value call-by-variable completeness in the sense of Cook dynamic scope expressiveness Hoare's logic partial correctness procedures as parameters recursive procedures soundness static scope subscripted variables total correctness variable declarations while programs

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：