Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts.

Toshiyuki Maeda Akinori Yonezawa

Published in: SSV (2010)

Keyphrases

lambda calculus
higher order
operating system
programming language
language learning
natural language
feature space
open source
real world
kernel function
kernel methods
programming environment
specification language
mobile robot
massively parallel
language processing