STRAPS - A SOFTWARE TRANSPORT-SYSTEM FOR LOW-LEVEL SOFTWARE

被引：1
|
作者：
FAIRFIELD, P [1 ]
机构：
[1] UNIV LIVERPOOL,LIVERPOOL L69 3BX,ENGLAND
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1985年 / 5卷 / 04期
关键词：
D O I：
10.1016/0164-1212(85)90028-7
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：291 / 302
页数：12
相关论文
共 50 条
  • [1] Software Tools for Low-Level Software and Operating Systems Classes
    Walter, Maxwell
    Karlsson, Sven
    WCAE'17: PROCEEDINGS OF THE 19TH WORKSHOP ON COMPUTER ARCHITECTURE EDUCATION, 2017, : 16 - 23
  • [2] A reachability predicate for analyzing low-level software
    Chatterjee, Shaunak
    Lahiri, Shuvendu K.
    Qadeer, Shaz
    Rakamaric, Zvonimir
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 19 - +
  • [3] Low-Level Control Software for the WEAVE Spectrograph
    Salasnich, Bernardo
    Martin Perez, Carlos
    Miguel Delgado, Jose
    Pico, Sergio
    Cano Infantes, Diego
    Stuik, Remko
    Baruffolo, Andrea
    Dalton, Gavin
    Trager, Scott
    Lopez Aguerri, Jose Alfonso
    Bonifacio, Piercarlo
    Vallenari, Antonella
    Carrasco, Esperanza
    Carlos Abrams, Don
    Middleton, Kevin
    SOFTWARE AND CYBERINFRASTRUCTURE FOR ASTRONOMY V, 2018, 10707
  • [4] A customizable component for low-level communication software
    Santos, TRC
    Frohlich, AA
    HPCS 2005: 19TH INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2005, : 58 - 64
  • [5] Enforcing high-level protocols in low-level software
    DeLine, R
    Fähndrich, M
    ACM SIGPLAN NOTICES, 2001, 36 (05) : 59 - 69
  • [6] Effective Verification of Low-Level Software with Nested Interrupts
    Kroening, Daniel
    Liang, Lihao
    Melham, Tom
    Schrammel, Peter
    Tautschnig, Michael
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 229 - 234
  • [7] A Theory of Platform-Dependent Low-Level Software
    Nita, Marius
    Grossman, Dan
    Chambers, Craig
    POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 209 - 220
  • [8] Effective Verification for Low-Level Software with Competing Interrupts
    Liang, Lihao
    Melham, Tom
    Kroening, Daniel
    Schrammel, Peter
    Tautschnig, Michael
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)
  • [9] Software Categorization Using Low-Level Distributional Features
    Bodo, Zalan
    Indurkhya, Bipin
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 88 - 98
  • [10] A theory of platform-dependent low-level software
    Nita, Marius
    Grossman, Dan
    Chambers, Craig
    ACM SIGPLAN NOTICES, 2008, 43 (01) : 209 - 220
12345