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 条

[21] THEOREM-PROVING FOR A HIGHER-ORDER FUNCTIONAL LANGUAGE
KAUFMANN, M
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 847
[22] Comparative higher-order risk aversion and higher-order prudence
Wong, Kit Pong
ECONOMICS LETTERS, 2018, 169 : 38 - 42
[23] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL
FORSTER, T
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
[24] CALCULATION OF HIGHER-ORDER SENSITIVITIES AND HIGHER-ORDER SENSITIVITY INVARIANTS
GEHER, K
SOLYMOSI, J
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1972, 16 (03): : 325 - 330
[25] Higher-order symmetric duality with higher-order generalized invexity
Padhan S.K.
Nahak C.
Journal of Applied Mathematics and Computing, 2015, 48 (1-2) : 407 - 420
[26] HIGHER-ORDER OPTIMALITY CONDITIONS AND HIGHER-ORDER TANGENT SETS
Penot, Jean-Paul
SIAM JOURNAL ON OPTIMIZATION, 2017, 27 (04) : 2508 - 2527
[27] Typed higher-order narrowing without higher-order strategies
Antoy, S
Tolmach, A
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
[28] Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language
Neis, Georg
Hur, Chung-Kil
Kaiser, Jan-Oliver
McLaughlin, Craig
Dreyer, Derek
Vafeiadis, Viktor
PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 166 - 178
[29] SYSTEM DESCRIPTION OF LAMBDALG - A HIGHER-ORDER ALGEBRAIC SPECIFICATION LANGUAGE
GUI, YX
OKADA, M
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 354 - 356
[30] SPECIFYING THEOREM PROVERS IN A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE
FELTY, A
MILLER, D
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 61 - 80

← 1 2 3 4 5 →