Tags
- 32-bit
- 64-bit computing
- A
- A3
- ‘Abis
- Absint
- Acceptance
- ACM
- ACM Software System Award
- Adoption
- Aggressive
- Algorithmic
- Alignment
- Allocator
- Almost
- A minor
- An
- Angewandte
- Annotation
- ANSI C
- Anthony Moore
- A Posteriori
- Apple
- Apple silicon
- Applied Digital Data Systems
- Architecture
- Arithmetic
- Arm
- ARM architecture
- Array
- Assignment
- AST
- Attribute
- Back end
- Based on
- Bedin
- Behave
- Bernhard Schommer
- Bit field
- Bit-level parallelism
- Bits
- Branch predication
- Bug
- Bugs
- Built-in
- C11
- C99
- Careful
- C compiler
- Central processing unit
- Centre for Software Reliability
- Character
- Checker
- Chris Reeve Knives
- Christian Ferdinand
- Closing
- Closing the gap
- Code
- Code generation
- Come
- Community
- Compact Space
- Comparison
- Comparisons
- Compatibility
- CompCert
- Compilation
- Compiler
- Complete
- Composite
- Compound
- Computer
- Computer Science
- Computer science research
- Concept
- Concepts
- Conditional
- Conditional statement
- Conditional statements
- Conformance
- Considered
- Constant
- Constant folding
- Constants
- Contract
- Contribution
- Control software
- Coq
- Critical
- CSE
- C standard
- Cygwin
- Data
- Data structure
- Debugger
- Debugging
- Deeply
- Defined
- Dependent and independent variables
- Development
- Deviation
- Device
- Download
- Duff's
- Duff's device
- DWARF
- Efficient
- Embedded
- Embedded software
- Emulator
- End
- Engineering
- Enjoy
- Environment
- Error
- Errors
- Erts
- Executable
- Existence
- Expression
- Expressions
- Extensionality
- Favorite
- Featuring
- Ferdinand Wa
- Ferdinand Xavier
- Field
- Fields
- Finer
- Flight
- Flight Control
- Floating-point arithmetic
- Formal
- Formalization
- Formal methods
- Formal semantics
- Formal verification
- Free software movement
- French Institute for Research in Computer Science and Automation
- Front end
- Fundraising
- Gap
- GCC
- Generate
- Generating
- Generation
- Generator
- Gesellschaft mit beschränkter Haftung
- GitHub
- GNU Lesser General Public License
- GPL
- Guarantee
- Handling stolen goods
- Heuristic
- Highest
- Hosting
- Hybrid
- Hybrid electric vehicle
- Identical
- Impact
- Implementation
- Improved
- Include
- Includes
- Indiana State Road 32
- Infamous
- Informatik
- Information science
- Inline
- Inline assembler
- Inline expansion
- Instruction
- Instructions
- Integer
- Integer arithmetic
- Integration
- International Organization for Standardization
- Investigate
- Jean-Baptiste
- Jourdan Michael
- Kästner
- Language
- Language research
- La Recherche
- Lasting
- Layout
- Leroy Sandrine
- Library
- License
- Link
- Literal
- MacOS
- Main Page
- Maintenance release
- Manipulation
- Manual
- Marc Pantel
- Market
- Marku
- Markus Pister
- Mathematical optimization
- Mathematics
- Mechanism
- Memory
- Memory model
- Menhir
- Messages
- Method
- Methods
- Michael Schmidt
- Microsoft
- Microsoft Research
- Milestone
- Minor
- Model
- Modeling
- Modes
- Mode Target
- Much
- National Historic Landmark
- Nested
- New
- No
- Novelty
- Novelty item
- Null
- Null pointer
- OCaml
- Open-source model
- Optimizing compiler
- Option
- Over
- Pâ
- Pantel
- Paper
- Parser
- Parts
- Pass
- Passing
- Performance
- Performance improvements
- PLU
- Pointer
- Port
- PowerPC
- Practical experience
- Pragmatism
- Preliminary
- Presenting
- Prize
- Proceedings
- Processor
- Produce
- Programming
- Programming language
- Programming language theory
- Propagation
- Pstree
- Publication
- Qualification
- Realistic
- Real Time
- Recherche
- Recognize
- Record
- Reflected
- Register
- Register allocation
- Research
- Research projects
- Respect
- Result
- Resurrected
- Revise
- RISC-V
- Ruk Jung
- Safety
- Safety-critical system
- Safety engineering
- Saint Laurent Boulevard
- Schmidt
- Schommer
- Science
- Science research
- Semantics
- Significant impact
- SIGPLAN
- Silicon
- Single-precision floating-point format
- Software
- Software system
- Source
- Source code
- Sources
- Statements
- String
- String literal
- Struct
- Structure
- Sulfate
- Switch
- Switch statement
- Switch statements
- Symposium
- Syntax
- Syntax Error
- Systems
- System safety
- Target
- Targets
- Technical
- Technical report
- The arm
- The E.L.F.
- The end
- The first
- The Guarantee
- The Infamous
- The paper
- The Semantics
- The source
- Thumb
- Tighten
- Trade union
- Transmit
- Tristan Thi
- Turn
- Turns
- Type system
- Underlying
- Unicode
- Union
- Union types
- Unstructured
- Unverified
- USable
- Uses
- Validation
- Values
- Verification
- Verification and validation
- Version 2.0
- Version 3.0
- Versions
- Volatile
- Warning
- When
- Wide
- Widespread
- Window
- Windows
- Wünsche
- X86
- X86-64
- Xavier Leroy