サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
体力トレーニング
blog.brownplt.org
Posted on 17 September 2023. Rust is establishing itself as the safe alternative to C and C++, making it an essential component for building a future software univers that is correct, reliable, and secure. Rust achieves this in part through the use of a sophisticated type system based on the concept of ownership. Unfortunately, ownership is unfamiliar to most conventionally-trained programmers. Su
Tags: Education Posted on 19 February 2013. How do we teach students the essential ideas behind garbage collection? A garbage collector (GC) implementation must address many overlapping concerns. There are algorithmic decisions, e.g., the GC algorithm to use; there are representation choices, e.g, the layout of the stack; and there are assumptions about the language, e.g., unforgeable pointers. Th
Tags: JavaScript, Programming Languages, Semantics Posted on 04 June 2012. See the discussion on Lambda the Ultimate about this work. In an earlier post, we introduced λJS, our operational semantics for JavaScript. Unlike many other operational semantics, λJS is no toy, but strives to correctly model JavaScript's messy details. To validate these claims, we test λJS with randomly generated tests an
このページを最初にブックマークしてみませんか?
『blog.brownplt.org』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く