ABSTRACT EXECUTION OF PROGRAMS.

被引：0
|
作者：
Sarbo, J. [1 ]
机构：
[1] Technical Univ, Budapest, Hung, Technical Univ, Budapest, Hung
来源：
Periodica Polytechnica Electrical Engineering | 1986年 / 30卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
12
引用
收藏
页码：37 / 47
相关论文
共 50 条
  • [21] An abstract machine for tabled execution of fixed-order stratified logic programs
    Sagonas, K
    Swift, T
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (03): : 586 - 634
  • [22] EFFICIENT BOTTOM-UP EXECUTION OF LOGIC PROGRAMS USING ABSTRACT INTERPRETATION
    CHANG, BM
    CHOE, KM
    HAN, T
    INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 149 - 157
  • [23] CONTINUOUS DEFORMATION OF NONLINEAR PROGRAMS.
    Kojima, Masakazu
    Hirabayashi, Ryuichi
    Mathematical Programming Study, 1984, : 150 - 198
  • [24] BOUNDS FOR THE APPROXIMATION OF DYNAMIC PROGRAMS.
    Benzing, Harald
    ZOR. Zeitschrift fur Operations-Research, 1986, 30 (01): : 65 - 77
  • [25] DECIDABLE PROBLEMS FOR POWERFUL PROGRAMS.
    Gurari, Eitan M.
    1600, (32):
  • [26] INEXPENSIVE TYPEWRITER PLOTTING PROGRAMS.
    Richwell, Gunnar
    Electronic Engineer (Philadelphia) (Changed to EE/Systems Engineering today, 1972, 31 (09): : 63 - 67
  • [27] Management of human services programs.
    Bess, G
    ADMINISTRATION IN SOCIAL WORK, 2002, 26 (01): : 104 - 105
  • [28] OPTIMIZATION TECHNIQUES FOR SIMULATION PROGRAMS.
    Petrescu, G.
    Advances in modelling & simulation, 1988, 12 (02): : 1 - 13
  • [29] Safety in Highway Management Programs.
    Gounot, D.
    Travaux Paris, 1985, (605): : 4 - 6
  • [30] AUTOMATED DESIGN OF CONTROL PROGRAMS.
    Poplavskii, V.S.
    Teitel'man, B.L.
    1600, (04):
12345