Language Design Meets Verifying Compilers (Keynote)
Abstract
References
Index Terms
- Language Design Meets Verifying Compilers (Keynote)
Recommendations
Verifying Compilers and ASMs
ASM '00: Proceedings of the International Workshop on Abstract State Machines, Theory and ApplicationsA verifying compiler ensures that the compiled code is always correct but the compiler may also terminate with an error mesage and then fails to generate code. We argue that with respect to compiler correctness this is the best possible result which can ...
Surgical precision JIT compilers
PLDI '14Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation. Modern JIT compilers, such as those in virtual machines like Oracle's HotSpot for Java or Google's V8 for JavaScript, rely on dynamic ...
Cross-platform language design in Scala.js (keynote)
Scala 2018: Proceedings of the 9th ACM SIGPLAN International Symposium on ScalaHave you ever wondered what is the secret sauce of Scala.js? What defines Scala.js, above all else, is the overarching will to make it cross-platform. A cross-platform language is both portable—most source code cross-compiles and behaves the same way on ...
Comments
Information & Contributors
Information
Published In
- General Chair:
- Bernhard Scholz,
- Program Chair:
- Yukiyoshi Kameyama
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Invited-talk
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 67Total Downloads
- Downloads (Last 12 months)18
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in