Rezultati pretrage - "compiler"

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...

Teme: “…Compilers (Computer programs).…”
Link to Metadata

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Teme: “…Compilers (Computer programs).…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Sadržaj: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

The Trial of Reuben Crandall, M.D. Charged with Publishing and Circulating Seditious and Incendiary Papers, &c. in the District of Columbia, with the Intent of Exciting Servile Insurrection. Carefully Reported, and Compiled from the Written Statements of the Court and the Counsel. od Unknown

Preuzmi cijeli tekst

Brannon's Picture of The Isle of Wight The Expeditious Traveller's Index to Its Prominent Beauties & Objects of Interest. Compiled Especially with Reference to Those Numerous Visitors Who Can Spare but Two or Three Days to Make the Tour of the Island. od Brannon, George

Preuzmi cijeli tekst

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Teme: “…Compilers (Computer programs).…”
Link to Metadata

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Teme: “…Compilers (Computer programs).…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Teme: “…Compilers (Computer programs).…”
Link to Metadata

Une histoire de la fiche érudite od Jean-François Bert

Teme: “…compilation…”
DOAB: download the publication
DOAB: description of the publication

An Account of the English Colony in New South Wales, Volume 1 With Remarks on the Dispositions, Customs, Manners, Etc. of The Native Inhabitants of That Country. to Which Are Added, Some Particulars of New Zealand; Compiled, By Permission, From The Mss. of Lieutenant-Governor King. od Collins, David, 1756-1810; King, Philip Gidley, 1758-1808

Preuzmi cijeli tekst

XcalableMP PGAS Programming Language From Programming Model to Applications od Sato, Mitsuhisa

Teme: “…Programming Languages, Compilers, Interpreters…”
DOAB: download the publication
DOAB: description of the publication

XcalableMP PGAS Programming Language From Programming Model to Applications od Sato, Mitsuhisa

Teme: “…Programming Languages, Compilers, Interpreters…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

Teme: “…Compilers (Computer programs).…”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Teme: “…Compilers (Computer programs).…”
Link to Metadata

A Guide to Peterborough Cathedral Comprising a brief history of the monastery from its foundation to the present time, with a descriptive account of its architectural peculiarities and recent improvements; compiled from the works of Gunton, Britton, and original & authentic documents od Phillips, George S. (George Searle), 1815-1889

Preuzmi cijeli tekst

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Teme: “…Compilers (Computer programs).…”
Link to Metadata

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Teme: “…Compilers (Computer programs).…”
Link to Metadata

Flora Malesiana. Series I - Seed Plants, Volume 14. Myristicaceae Compiled and published under the auspices of Foundation Flora Malesiana od Willem de Wilde

DOAB: download the publication
DOAB: description of the publication

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL od Reinders, James

Teme: “…Programming Languages, Compilers, Interpreters…”
DOAB: download the publication
DOAB: description of the publication

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL od Reinders, James

Teme: “…Programming Languages, Compilers, Interpreters…”
OAPEN Library: download the publication
OAPEN Library: description of the publication