20 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
Format:
Electronic Resources
Alıntı:
-- Semantics and languages.
Yazar
van Eekelen, Marko. editor.
Format:
Electronic Resources
Alıntı:
energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types
View Other Search Results
Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
Programming and testing -- Verification and validation -- Semantics -- Blockchain.
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
Yazar
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
Format:
Electronic Resources
Alıntı:
carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory
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
Cerrito, Serenella. editor.
Format:
Electronic Resources
Alıntı:
following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs
Yazar
Sun, Jing. editor.
Format:
Electronic Resources
Alıntı:
; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and
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
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Administrative Data Processing Ontologies -- Databases -- Semantics.-Cooperative Information Systems -- Cloud
Yazar
Rensink, Arend. editor. (orcid)0000-0002-1714-6319
Format:
Electronic Resources
Alıntı:
Transformation in Coq -- A Formal Framework for Prototyping Executable Semantics in ATL -- Scalable Model
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive
20 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: