Ohcanbohtosat - "compiler"
Fáddáevttohusat
Fáddáevttohusat
- Research & information: general 75
- Technology: general issues 53
- History of engineering & technology 49
- Biology, life sciences 48
- Computer science 40
- Medicine 36
- History 32
- Artificial intelligence 28
- United States -- Politics and government 28
- Education 27
- Sustainability 25
- Law 24
- Scottish Borders (Scotland) -- Fiction 24
- linguistics 23
- Humanities 21
- Botany & plant sciences 20
- Compilers (Computer programs) 19
- Compilers and Interpreters 19
- European history 18
- Neurosciences 17
- Agricultural science 16
- Environmental management 16
- Environmental science, engineering & technology 16
- Software Engineering 16
- Politics & government 15
- Biodiversity 14
- Central government policies 14
- Language: reference & general 14
- Programming & scripting languages: general 14
- Conservation of the environment 13
-
121
-
122
-
123
-
124
Rethinking Productivity in Software Engineering
Almmustuhtton 2019Fáttát: “…Compilers (Computer programs).…”
Link to Metadata
Elektrovnnalaš E-girji -
125
-
126
-
127
-
128
-
129
-
130
-
131
-
132
-
133
TouchDevelop Programming on the Go /
Almmustuhtton 2013Fáttát: “…Compilers (Computer programs).…”
Link to Metadata
Elektrovnnalaš E-girji -
134
-
135
-
136
Pro TBB C++ Parallel Programming with Threading Building Blocks /
Almmustuhtton 2019Fáttát: “…Compilers (Computer programs).…”
Link to Metadata
Elektrovnnalaš E-girji -
137
-
138
-
139
-
140
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,...
Almmustuhtton 2022Sisdoallologahallan: “…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
Elektrovnnalaš E-girji