832 research outputs found
Dynamix on the Frame VM: Declarative dynamic semantics on a VM using scopes as frames
No full textOver the years virtual machines (VMs) have been created to abstract over computer hardware. This simplified code generation and allowed for easy portability between hardware platforms. These VMs are however highly tailored to a particular runtime model. This improves the execution speed, but places restrictions on the types of languages that the VM supports. In this thesis the Frame VM was developed as a VM that supports many different types of languages in a principled way. Achieving this is done by basing the VM on language independent models of memory and control flow. Usage of the scopes-as-frames paradigm and control frames resulted in an instruction set that is relatively small at its core, but does allow for the construction of complex control flow. As an effect, many different programming languages can be compiled to the Frame VM. In addition to this VM, a Domain Specific Language (DSL) for executable semantics of programming languages was created. This language, Dynamix, allows for a modular approach to writing the semantics of a language. Additionally, Dynamix provides a meta-compiler that uses these semantics of a language to compile programs to the Frame VM. To validate the Frame VM, direct compilers for Rust and Prolog have been created in a student project and compilers for Scheme and Tiger were created using Dynamix. Using these semantics of Scheme and Tiger, it was possible to execute programs containing usage of call/cc and a suite of Tiger benchmark programs. Furthermore, the control flow of Tiger was extended with exceptions and generator functions. This extension did not require any changes to the existing semantics, showing the modularity of control achieved when using Dynamix and the Frame VM.Computer Scienc
Evaluating the effect of policies and interventions to address inequalities in health: lessons from a Dutch programme
No full text
MIME Configurations for Using VM on Emacs
No full textP(論文)Emacsは単なる文書編集アプリケーションではなく、様々な機能をマクロとして附加することができる。本稿では、このEmacsでメールを読み書きするための追加マクロとしてVMを取り上げる。VMでは電子メール本文におけるMIME対応はなされているが、ヘッダにおけるMIME対応はなされていない。本稿では、VMからSEMIを利用し、電子メールヘッダに日本語を利用するためのMIME設定について述べる。当初の目的であるEmacsとVMによる電子メールヘッダにおける日本語のMIME処理は実現できた。ただし、Emacsの版によってはうまく実現できないという情報もある。汎用的な方法を確立するためには、更なる調査が必要である。Emacs is an application software that can be used not only for editing plain texts but also for many other purposes by adding facilities as macros. In this study, VM was used as auxiliary macro for reading and writing e-mails by Emacs. VM has MIME reading and writing ability in the body part of e-mail messages but not in the header part. In this paper, MIME configurations for using SEMI from VM for processingJapanese characters in e-mail headers are described. The goal of this study, i.e., reading and writing MIME messages in header parts, was achieved. However, the author has information that the method described in this paper does not work well with one version of Emacs (Emacs 22). Establishment of a general method is a subject of future work.departmental bulletin pape
- …
