Semantics of algorithmic languages (Q760200)

From MaRDI portal





scientific article; zbMATH DE number 3883586
Language Label Description Also known as
English
Semantics of algorithmic languages
scientific article; zbMATH DE number 3883586

    Statements

    title
    Semantics of algorithmic languages (English)
    0 references
    publication date
    1984
    0 references
    review text
    Translation from Itogi Nauki Tekh., Ser. Teor. Veroyatn. Mat. Stat. Teor. Kibern. 20, 95-166 (1983; Zbl 0542.68002).
    0 references
    zbMATH Keywords
    survey
    0 references
    semantics of programming languages
    0 references
    describes a project that uses
    ALGOL 68
    0 references
    Refal
    0 references
    SEMANOL
    0 references
    cites work
    Q4147580
    0 references
    Q3906389
    0 references
    Q4160372
    0 references
    Q4164788
    0 references
    Q3338243
    0 references
    Q3916006
    0 references
    Q4174205
    0 references
    Q3208057
    0 references
    Q3048204
    0 references
    Q3256561
    0 references
    Q4187288
    0 references
    Q5678416
    0 references
    Q4096406
    0 references
    Q4160370
    0 references
    Q4160371
    0 references
    Safe programming
    0 references
    Q4050094
    0 references
    Q4124296
    0 references
    Q4134908
    0 references
    Q3860820
    0 references
    Q4144761
    0 references
    Q4195967
    0 references
    Q4184269
    0 references
    Q3896478
    0 references
    Q3205212
    0 references
    Q4134939
    0 references
    Q4198051
    0 references
    Q3875328
    0 references
    Q4190094
    0 references
    Q3875316
    0 references
    Q4094359
    0 references
    Q4134898
    0 references
    Q4138076
    0 references
    Q4194416
    0 references
    Q4190089
    0 references
    Q4130967
    0 references
    Q4190102
    0 references
    Q4191565
    0 references
    Q4190110
    0 references
    Q4192046
    0 references
    Q3875322
    0 references
    Q3912003
    0 references
    Q3906394
    0 references
    Q3902486
    0 references
    Q4197321
    0 references
    Q3854596
    0 references
    Q4190099
    0 references
    Q3871899
    0 references
    Q3898010
    0 references
    Q4190106
    0 references
    Q4127985
    0 references
    Q3917479
    0 references
    Q3907050
    0 references
    Q4099191
    0 references
    Q3906386
    0 references
    Q4074367
    0 references
    Q4140363
    0 references
    Q4134896
    0 references
    Q3050435
    0 references
    Q4151701
    0 references
    Q4134940
    0 references
    Q5584402
    0 references
    Functional combination
    0 references
    Q4197330
    0 references
    Q3898022
    0 references
    Q3898023
    0 references
    Q4194413
    0 references
    Q3880322
    0 references
    Q4194452
    0 references
    Q3907041
    0 references
    Q4185780
    0 references
    Q4184273
    0 references
    Q4184282
    0 references
    Q4092945
    0 references
    Q4181261
    0 references
    Q4174208
    0 references
    Q3890092
    0 references
    Q3893309
    0 references
    Q4162635
    0 references
    Q4144762
    0 references
    Q3938462
    0 references
    Q3907039
    0 references
    Q4176941
    0 references
    Q3920612
    0 references
    Q4162625
    0 references
    Q4102712
    0 references
    Q4142655
    0 references
    Q4138097
    0 references
    Q4124287
    0 references
    Q4182745
    0 references
    Q3899461
    0 references
    Q3937392
    0 references
    Q4190621
    0 references
    Q4178511
    0 references
    Q3911368
    0 references
    Q4070305
    0 references
    Q4195987
    0 references
    Q4127988
    0 references
    Q3893343
    0 references
    Q4190103
    0 references
    Q4190101
    0 references
    Q3914418
    0 references
    Q3907057
    0 references
    Q3885170
    0 references
    Q4195923
    0 references
    Q4190096
    0 references
    Q4122832
    0 references
    Q4095916
    0 references
    Q5601757
    0 references
    Q4125719
    0 references
    Q4133080
    0 references
    Q4198049
    0 references
    Subgoal induction
    0 references
    Q4105769
    0 references
    Q3875327
    0 references
    Q3883463
    0 references
    Q4195921
    0 references
    Q3906397
    0 references
    Q4187287
    0 references
    Q4080702
    0 references
    Q3909985
    0 references
    Q4199565
    0 references
    Q3923580
    0 references
    Q4855337
    0 references
    Q3883471
    0 references
    Q3883461
    0 references
    Q4096924
    0 references
    Q4190087
    0 references
    Q4083399
    0 references
    Q4190091
    0 references
    Q4124312
    0 references
    Q3875324
    0 references
    Q4199501
    0 references
    Q4151700
    0 references
    Q3926040
    0 references
    Power domains
    0 references
    Q3922134
    0 references
    Q3206281
    0 references
    Q4176939
    0 references
    Q4140350
    0 references
    Q4187314
    0 references
    Q3865491
    0 references
    Q4160368
    0 references
    Q4076737
    0 references
    Q3883462
    0 references
    Q4154035
    0 references

    Identifiers

    DOI
    10.1007/BF01101651
    0 references
    Mathematics Subject Classification ID
    68-02
    0 references
    68Q60
    0 references
    68Q55
    0 references
    zbMATH DE Number
    3883586
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q760200&oldid=42677989"
    Powered by MediaWiki