Compilers: Not Just GNU
-
Psychec: A Type Inference Engine For C, The C Language Meets Unification
Here, at the Compiler's Laboratory of UFMG, we've been trying to understand the meaning of incomplete C code. How well can a parser reason about a source when declarations (or complete headers) are missing? In the C language, challenges appear already during parsing, since, not only syntax, but also semantic information (possibly absent) is required. Yet, the really cool challenges emerge when we want to reconstruct a partial program into a complete one that passes the type-checker.
-
GCC 7 Has Been Branched, GCC 8.0 Now On Master
The GCC 7 mainline code-base hit the important milestone today of having zero P1 regressions -- issues of the highest priority -- and as such they branched the GCC7 code-base and GCC 7.1 RC1 is then being announced later this week as they prepare for this first stable release of GCC 7.
- Login or register to post comments
- Printer-friendly version
- 1536 reads
- PDF version
More in Tux Machines
- Highlights
- Front Page
- Latest Headlines
- Archive
- Recent comments
- All-Time Popular Stories
- Hot Topics
- New Members
digiKam 7.7.0 is releasedAfter three months of active maintenance and another bug triage, the digiKam team is proud to present version 7.7.0 of its open source digital photo manager. See below the list of most important features coming with this release. |
Dilution and Misuse of the "Linux" Brand
|
Samsung, Red Hat to Work on Linux Drivers for Future TechThe metaverse is expected to uproot system design as we know it, and Samsung is one of many hardware vendors re-imagining data center infrastructure in preparation for a parallel 3D world. Samsung is working on new memory technologies that provide faster bandwidth inside hardware for data to travel between CPUs, storage and other computing resources. The company also announced it was partnering with Red Hat to ensure these technologies have Linux compatibility. |
today's howtos
|
Recent comments
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago