THE PROGRAM DEPENDENCE WEB - A REPRESENTATION SUPPORTING CONTROL-DRIVEN, DATA-DRIVEN, AND DEMAND-DRIVEN INTERPRETATION OF IMPERATIVE LANGUAGES

被引：0
|
作者：
BALLANCE, RA
MACCABE, AB
OTTENSTEIN, KJ
机构：
[1] UNIV CALIF LOS ALAMOS SCI LAB,LOS ALAMOS,NM 87544
[2] UNIV NEW MEXICO,DEPT COMP SCI,ALBUQUERQUE,NM 87131
来源：
SIGPLAN NOTICES | 1990年 / 25卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：257 / 271
页数：15
相关论文
共 50 条
  • [21] Data-Driven Inference of Representation Invariants
    Miltner, Anders
    Padhi, Saswat
    Millstein, Todd
    Walker, David
    [J]. PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 1 - 15
  • [22] Modular Demand-Driven Analysis of Semantic Difference for Program Versions
    Trostanetski, Anna
    Grumberg, Orna
    Kroening, Daniel
    [J]. STATIC ANALYSIS (SAS 2017), 2017, 10422 : 405 - 427
  • [23] Data-Driven Interactions for Web Design
    Kumar, Ranjitha
    [J]. ADJUNCT PROCEEDINGS OF THE 25TH ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY, 2012, : 51 - 54
  • [24] Data-Driven Aggregation Control for Thermoelectric Loads in Demand Response
    Cordoba-Pacheco, Andres
    Diaz-Londono, Cesar
    Ruiz, Fredy
    [J]. IFAC PAPERSONLINE, 2022, 55 (40): : 205 - 210
  • [25] Data-driven simulation and control
    Markovsky, Ivan
    Rapisarda, Paolo
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 2008, 81 (12) : 1946 - 1959
  • [26] Data-Driven Biped Control
    Lee, Yoonsang
    Kim, Sungeun
    Lee, Jehee
    [J]. ACM TRANSACTIONS ON GRAPHICS, 2010, 29 (04):
  • [27] A big data driven framework for demand-driven forecasting with effects of marketing-mix variables
    Kumar, Ajay
    Shankar, Ravi
    Aljohani, Naif Radi
    [J]. INDUSTRIAL MARKETING MANAGEMENT, 2020, 90 : 493 - 507
  • [28] A practical framework for demand-driven interprocedural data flow analysis
    Duesterwald, E
    Gupta, R
    Soffa, ML
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (06): : 992 - 1030
  • [29] A data-driven approach for supporting extension processing
    Lee, LT
    Wei, CR
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3392 - 3395
  • [30] Supporting a data-driven approach to regulatory intelligence
    Andrew S. Robertson
    Alexis Reisin Miller
    Felipe Dolz
    [J]. Nature Reviews Drug Discovery, 2021, 20 : 161 - 162
12345