共 50 条
- [1] Transformation of non-strict structure-data access into scheduled strict access in non-strict dataflow languages [J]. PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS, 2000, : 288 - 310
- [2] The Non-Strict Projection Lemma [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (08) : 5584 - 5590
- [4] Non-strict Temporal Exploration [J]. STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2020, 2020, 12156 : 129 - 145
- [6] Strictly Capturing Non-strict Closures [J]. PEPM '21: PROCEEDINGS OF THE 2021 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2021, : 74 - 89
- [7] NON-STRICT LANGUAGES - PROGRAMMING AND IMPLEMENTATION [J]. COMPUTER JOURNAL, 1989, 32 (02): : 142 - 151
- [9] Checking equivalence in a non-strict language [J]. Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA2):
- [10] On the availability of non-strict quorum systems [J]. DISTRIBUTED COMPUTING, PROCEEDINGS, 2005, 3724 : 48 - 62