NEXT 700 PROGRAMMING LANGUAGES

被引：194
|
作者：
LANDIN, PJ
机构：
来源：
COMMUNICATIONS OF THE ACM | 1966年 / 9卷 / 03期
关键词：
D O I：
10.1145/365230.365257
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：157 / &
相关论文
共 50 条
  • [21] PROGRAMMING LANGUAGES, NATURAL LANGUAGES, AND MATHEMATICS
    NAUR, P
    COMMUNICATIONS OF THE ACM, 1975, 18 (12) : 676 - 682
  • [22] The Next 700 Separation Logics
    Parkinson, Matthew
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2010, 6217 : 169 - 182
  • [23] The Next 700 Program Transformers
    Hamilton, Geoff
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, 13290 : 113 - 134
  • [24] The Next 700 BFT Protocols
    Guerraoui, Rachid
    Knezevic, Nikola
    Quema, Vivien
    Vukolic, Marko
    EUROSYS'10: PROCEEDINGS OF THE EUROSYS 2010 CONFERENCE, 2010, : 363 - 376
  • [25] The Next 700 BFT Protocols
    Aublin, Pierre-Louis
    Guerraoui, Rachid
    Knezevic, Nikola
    Quema, Vivien
    Vukolic, Marko
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2015, 32 (04):
  • [26] THE STANDARDIZATION OF PROGRAMMING LANGUAGES
    ALT, L
    COMMUNICATIONS OF THE ACM, 1964, 7 (07) : 397 - 397
  • [27] Understanding programming languages
    Turner, Raymond
    MINDS AND MACHINES, 2007, 17 (02) : 203 - 216
  • [28] Programming languages and gender
    Dattero, R
    Galup, SD
    COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 99 - 102
  • [29] Quantum programming languages
    Heim, Bettina
    Soeken, Mathias
    Marshall, Sarah
    Granade, Chris
    Roetteler, Martin
    Geller, Alan
    Troyer, Matthias
    Svore, Krysta
    NATURE REVIEWS PHYSICS, 2020, 2 (12) : 709 - 722
  • [30] PROGRAMMING LANGUAGES FOR HUMANITIES
    RASKIN, JF
    COMPUTERS AND THE HUMANITIES, 1971, 5 (03): : 155 - &
12345