10 sonuç bulundu
Tümünü Seç
0000000000DEFAULTTR
Yazar
van Eekelen, Marko. editor.
Format:
Electronic Resources
Alıntı:
energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types
Yazar
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
Format:
Electronic Resources
Alıntı:
Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation
View Other Search Results
Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
Programming and testing -- Verification and validation -- Semantics -- Blockchain.
Yazar
Cerrito, Serenella. editor.
Format:
Electronic Resources
Alıntı:
following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs
Yazar
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
Format:
Electronic Resources
Alıntı:
typical areas are type systems, program analysis and transformation, programming-language semantics
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
-- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for
Yazar
Falcone, Yliès. editor.
Format:
Electronic Resources
Alıntı:
Specifications with Counting Semantics -- Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals
Yazar
Kunkel, Julian M. editor.
Format:
Electronic Resources
Alıntı:
-- Dynamically Adaptable I/O Semantics for High Performance Computing -- Predicting Performance of Non-contiguous
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
Task Parallelism with Library-Semantics-Aware Compilation -- Data Layout Optimization for Portable
Yazar
Dingel, Juergen. editor.
Format:
Electronic Resources
Alıntı:
State-Based Holonic Modular Units -- Semantic Model Differencing Utilizing Behavioral Semantics Specifications
10 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: