𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An action compiler targeting Standard ML

✍ Scribed by Jørgen Bøndergaard Iversen

Book ID
104091927
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
388 KB
Volume
68
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

✦ Synopsis

We present an action compiler that can be used in connection with an action semantics based compiler generator. Our action compiler produces code with faster execution times than code produced by other action compilers, and for some nontrivial test examples it is only a factor of two slower than the code produced by the Gnu C Compiler. Targeting Standard ML makes the description of the code generation simple and easy to implement. The action compiler has been tested on a description of the Core of Standard ML and a subset of C.

📜 SIMILAR VOLUMES

cover
Moving Targets_An Action-Packed Spider Shepherd SAS Novel
✍ Stephen Leather 📂 Fiction 📅 2018 🌐 English ⚖ 196 KB

Not all terrorists are driven by religion or politics. Dan ‘Spider’ Shepherd and his SAS team are on the trail of a terrorist whose motives are much more personal. Sabit Kusen wants revenge and doesn’t care how many innocents he kills along the way. Shepherd and his team hunt their quarry around

International standard (ISO) on seismic
International standard (ISO) on seismic actions for designing geotechnical works–An overview
✍ Susumu Iai 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 532 KB

The seismic performance of geotechnical works is significantly affected by ground displacement. In particular, soil-structure interaction and effects of liquefaction play major roles and pose difficult problems for engineers. An International Standard, ISO23469, is being developed for addressing the