DSpace at KOASAS
Browsing DSpace

Browse by Subject Fortress

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

1
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link

Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011

2
Scalable framework for parsing: from Fortress to JavaScript

Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.46, no.9, pp.1219 - 1238, 2016-09

3
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance

Allen, Eric; Hilburn, Justin; Kilpatrick, Scott; Luchangco, Victor; Ryu, Sukyoung; Chase, David; Steele, Guy L., Jr., ACM SIGPLAN NOTICES, v.46, no.10, pp.973 - 992, 2011-10

Discover

rss_1.0 rss_2.0 atom_1.0