HIGHER-ORDER LANGUAGE STANDARDIZATION FOR AVIONICS

被引：0
|
作者：
TRAINOR, WL
GROVE, HM
机构：
[1] SYST CONSULTANTS INC, WASHINGTON, DC USA
[2] USAF, AVION LAB, WRIGHT PATTERSON AFB, OH 45433 USA
来源：
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS | 1977年 / 13卷 / 04期
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页码：451 / 451
页数：1
相关论文
共 50 条
  • [1] CML - A HIGHER-ORDER CONCURRENT LANGUAGE
    REPPY, JH
    SIGPLAN NOTICES, 1991, 26 (06): : 293 - 305
  • [2] A note on higher-order subgroups in Oceanic (language)
    Blust, R
    OCEANIC LINGUISTICS, 1998, 37 (01) : 182 - 188
  • [3] Seminaive Evaluation for a Higher-Order Functional Language
    Arntzenius, Michael
    Krishnaswami, Neel
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (04):
  • [4] COMPLEXITY ANALYSIS FOR A LAZY HIGHER-ORDER LANGUAGE
    SANDS, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 432 : 361 - 376
  • [5] A higher-order logic programming language with constraints
    Leach, J
    Nieva, S
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
  • [6] DEVELOPMENT OF A TEST OF HIGHER-ORDER LANGUAGE SKILLS
    Farnia, Fataneh
    Cohen, Nancy
    JOURNAL OF THE AMERICAN ACADEMY OF CHILD AND ADOLESCENT PSYCHIATRY, 2016, 55 (10): : S280 - S280
  • [7] Higher-Order Intentionality and Higher-Order Acquaintance
    Benj Hellie
    Philosophical Studies, 2007, 134 : 289 - 324
  • [8] Higher-order intentionality and higher-order acquaintance
    Hellie, Benj
    PHILOSOPHICAL STUDIES, 2007, 134 (03) : 289 - 324
  • [9] EVL: A Typed Higher-order Functional Language for Events
    Alves, Sandra
    Fernandez, Maribel
    Ramos, Miguel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 351 : 3 - 23
  • [10] Locations and Session Types in a Language with Higher-Order Reflection
    Tran, Michael
    Bendixen, Alexander Ronning
    Bojesen, Bjarke Bredow
    Huttel, Hans
    Lybech, Stian Lasse
    PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON PROGRAMMING BASED ON ACTORS, AGENTS, AND DECENTRALIZED CONTROL (AGERE '19), 2019, : 31 - 40
12345