From aab647a0cc135a0510ded3b65b812dfd110321a5 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Sun, 14 Jan 2024 19:40:25 +0100 Subject: updated links and documentation --- doc/web.yl.is.s.u-tokyo.ac.jp_~tosh_talk.txt | 58 ++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 doc/web.yl.is.s.u-tokyo.ac.jp_~tosh_talk.txt (limited to 'doc/web.yl.is.s.u-tokyo.ac.jp_~tosh_talk.txt') diff --git a/doc/web.yl.is.s.u-tokyo.ac.jp_~tosh_talk.txt b/doc/web.yl.is.s.u-tokyo.ac.jp_~tosh_talk.txt new file mode 100644 index 0000000..3e7cde5 --- /dev/null +++ b/doc/web.yl.is.s.u-tokyo.ac.jp_~tosh_talk.txt @@ -0,0 +1,58 @@ + TALK : Typed Assembly Language for Kernel + + TALK is a typed assembly language which is flexible and expressive + enough to implement important OS facilities, such as memory management + (e.g., malloc/free) and multi-thread management. + [1]TALK for IA-32 + (last updated 2005-10-27 : version 0.0.0.2. [2]ChangeLog. [3]Old + versions + TALK is licensed under the [4]GNU General Public License. + __________________________________________________________________ + + Notes + + The "assembler" just emits binary executables annotated with type + information. It does not perform type-checks. + The type-check is performed by the "verifier". + __________________________________________________________________ + +Documents + + We are sorry but we have not prepared any user manual of TALK. (Please + see the programs in [5]TOS at this time) + + Further Readings + + 1. Toshiyuki Maeda and Akinori Yonezawa. + [6]Writing practical memory management code with a strictly typed + assembly language. + In 3rd Workshop on Semantics, Program Analysis, and Computing + Environments for Memory Management (SPACE 2006). Informal + proceedings. + 2. Toshiyuki Maeda. + [7]Ph.D. Thesis (2006) + 3. Toshiyuki Maeda and Akinori Yonezawa. + [8]Typed Assembly Language for SMP/Multi-core CPUs (Japanese). + (2008) + In 6th Dependable System Workshop (DSW 2008). + __________________________________________________________________ + +Contact Information + + [9]Toshiyuki Maeda + tosh @ is.s.u-tokyo.ac.jp + + [10]../ + +References + + 1. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk/prototype/talk-0.0.0.2.tar.gz + 2. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk/prototype/ChangeLog + 3. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk/prototype/ + 4. http://www.gnu.org/copyleft/gpl.html + 5. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/tos/ + 6. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk.pdf + 7. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/thesis.pdf + 8. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/tosh-dsw2008.pdf + 9. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/ + 10. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/ -- cgit v1.2.3-54-g00ecf