서울대학교 중앙도서관
S-Space 소개
My S-Space
로그인이 필요합니다.
Login

S-Space

Browse

Subject

Jump to a point in the index
Or type in a year

  • Sort by
  • In order
  • Results/Page
  • Authors/record

Showing results 1 to 1 of 1

Issue DateTitle / Author(s) / CitationFileAltmetrics
2014-06
Slicing Probabilistic Programs

Hur, Chung-Kil; Nori, Aditya V.; Rajamani, Sriram K.; Samuel, Selva

SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol.49 No.6, pp.133-144

DOI
1