Programming language abstractions for modularly verified distributed systems

被引：0
|
作者：
University of Washington, Seattle [1 ]
WA, United States
不详 [2 ]
机构：
来源：
Leibniz Int. Proc. Informatics, LIPIcs | 1868年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
2nd Summit on Advances in Programming Languages, SNAPL 2017
中图分类号：
学科分类号：
摘要：
Dependent types - Distributed protocols - Distributed systems - Domain specific languages - Program logic - Program Verification - Type systems
引用
收藏
相关论文
共 50 条
  • [1] ABSTRACTIONS FOR DISTRIBUTED-PROGRAMMING
    COOK, RP
    COMPUTER LANGUAGES, 1981, 6 (3-4): : 131 - 138
  • [2] Linguistic support for distributed programming abstractions
    Damm, CH
    Eugster, PT
    Guerraoui, R
    24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2004, : 244 - 251
  • [3] JOYCE - A PROGRAMMING LANGUAGE FOR DISTRIBUTED SYSTEMS
    HANSEN, PB
    SOFTWARE-PRACTICE & EXPERIENCE, 1987, 17 (01): : 29 - 50
  • [4] Programming language impact on the development of distributed systems
    Ghosh, Debasish
    Sheehy, Justin
    Thorup, Kresten Krab
    Vinoski, Steve
    JOURNAL OF INTERNET SERVICES AND APPLICATIONS, 2012, 3 : 23 - 30
  • [5] ORCA - A LANGUAGE FOR PARALLEL PROGRAMMING OF DISTRIBUTED SYSTEMS
    BAL, HE
    KAASHOEK, MF
    TANENBAUM, AS
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (03) : 190 - 205
  • [6] FACILITATING MIXED LANGUAGE PROGRAMMING IN DISTRIBUTED SYSTEMS
    HAYES, R
    SCHLICHTING, RD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (12) : 1254 - 1264
  • [7] Communication abstractions for distributed systems
    Beugnard, A
    Fiege, L
    Filman, R
    Jul, E
    Sadou, S
    Yoneki, E
    OBJECT-ORIENTED TECHNOLOGY, 2004, 3344 : 67 - 75
  • [8] Communication abstractions for distributed systems
    Beugnard, A
    Fiege, L
    Filman, R
    Jul, E
    Sadou, S
    OBJECT-ORIENTED TECHNOLOGY, 2003, 3013 : 17 - 29
  • [9] Abstractions for Concurrent Programming in Embedded Systems
    Sabo, Anita
    Schramm, Norbert
    2008 6TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS, 2008, : 157 - +
  • [10] A PROGRAMMING LOGIC FOR A VERIFIED STRUCTURED ASSEMBLY LANGUAGE
    CURZON, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 403 - 408
12345