ALGOL LINE-SYNTAX CHECKER

被引：0
|
作者：
HADDON, EW
PROLL, LG
机构：
来源：
COMPUTER JOURNAL | 1971年 / 14卷 / 02期
关键词：
D O I：
10.1093/comjnl/14.2.128
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：128 / &
相关论文
共 50 条
  • [21] BEHAVIOR OF CA 2 K LINE IN SPECTRUM OF ALGOL
    VALTTS, IE
    GLUSHNEV.IN
    SOVIET ASTRONOMY AJ USSR, 1968, 11 (04): : 585 - &
  • [22] Line and syntax (King Lear)
    Longenbach, James
    NEW ENGLAND REVIEW-MIDDLEBURY SERIES, 2007, 28 (04): : 85 - 103
  • [23] Line identification in some Algol-type stars
    Lalovic, Ana
    Latkovic, Olivera
    Ceki, Atila
    Vince, Istvan
    PROCEEDINGS OF THE 14TH NATIONAL CONFERENCE OF ASTRONOMERS OF SERBIA AND MONTENEGRO, 2006, (80): : 299 - +
  • [24] Line-Up: A Complete and Automatic Linearizability Checker
    Burckhardt, Sebastian
    Dern, Chris
    Musuvathi, Madanlal
    Tan, Roy
    PLDI '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2010, : 330 - 340
  • [25] Line-Up: A Complete and Automatic Linearizability Checker
    Burckhardt, Sebastian
    Dern, Chris
    Musuvathi, Madanlal
    Tan, Roy
    ACM SIGPLAN NOTICES, 2010, 45 (06) : 330 - 340
  • [26] Rotation of Algol binaries - A line profile model applied to observations
    Mukherjee, J
    Peters, GJ
    Wilson, RE
    MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, 1996, 283 (02) : 613 - 625
  • [27] CIRCUMSTELLAR MATERIAL IN ALGOL - A STUDY OF THE BALMER LINE-PROFILES
    RICHARDS, MT
    ASTROPHYSICAL JOURNAL SUPPLEMENT SERIES, 1993, 86 (01): : 255 - 291
  • [28] ALGOL-W APPROACH TO LINE NUMBER MAINTENANCE - REPLY
    KLINT, P
    COMMUNICATIONS OF THE ACM, 1980, 23 (12) : 729 - 729
  • [29] Verification of an off-line checker tor priority queues
    de Nivelle, H
    Piskac, R
    SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings, 2005, : 210 - 219
  • [30] RADIO OBSERVATIONS OF PECULIAR EMISSION-LINE ALGOL BINARY STARS
    ELIAS, NM
    GUDEL, M
    ASTRONOMICAL JOURNAL, 1993, 106 (01): : 337 - 341
12345