Suggested Topics within your search.
Suggested Topics within your search.
- Computer programming
- Programming Techniques 5
- Compilers (Computer programs) 4
- Compilers and Interpreters 4
- Computer science 4
- Computer networks 2
- Mathematics 2
- Software Engineering 2
- Software engineering 2
- Theory of Computation 2
- Computational Science and Engineering 1
- Computer Communication Networks 1
- Computer Engineering and Networks 1
- Computer engineering 1
- Computers 1
- Control Structures and Microprogramming 1
- Data processing 1
- Discrete Mathematics in Computer Science 1
- Discrete mathematics 1
- Electronic digital computers 1
- Evaluation 1
- Internet programming 1
- Logic in AI 1
- Logic programming 1
- Mathematical Logic and Foundations 1
- Mathematical logic 1
- Mathematics of Computing 1
- Microprogramming 1
- Professions 1
- Programming Language 1
-
1
-
2
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Published 2022Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata
Electronic eBook -
3
Introduction to Scientific Programming with Python
Published 2020Subjects: Link to Metadata
Electronic eBook -
4
-
5