Showing
1 - 8
results of
8
for search '
CHIN, Wei-Ngan
'
Skip to content
AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs
|
Search Tips
|
Feedback
Your Account
Log Out
Login
Theme
Bootstrap
Aunilo
Language
English
中文(繁體)
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
About
About AUNILO IRDS
Content Sources
Statistics
Technical Team
Disclaimer
Privacy & Security Policy
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
CHIN, Wei-Ngan
Showing
1 - 8
results of
8
for search '
CHIN, Wei-Ngan
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Safe fusion of functional expressions
by
Chin
,
Wei
-
Ngan
Published 2014
Get full text
Conference or Workshop Item
Save to List
Saved in:
2
Towards an automated tupling strategy
by
Chin
,
Wei
-
Ngan
Published 2014
Get full text
Conference or Workshop Item
Save to List
Saved in:
3
Bounds inference method for vector-based memo-ization
by
Chin
,
Wei
-
Ngan
,
Hagiya, Masami
Published 2014
Get full text
Conference or Workshop Item
Save to List
Saved in:
4
Calculating sized types
by
Chin
,
Wei
-
Ngan
,
Khoo, Siau-Cheng
Published 2013
Get full text
Conference or Workshop Item
Save to List
Saved in:
5
Reexamination of 'optimization of array subscript range checks'
by
Chin
,
Wei
-
Ngan
,
Goh, Eak-Khoon
Published 2014
Get full text
Article
Save to List
Saved in:
6
Parallelization via context preservation
by
Chin
,
Wei
-
Ngan
,
Takano, Akihiko
,
Hu, Zhenjiang
Published 2014
Get full text
Conference or Workshop Item
Save to List
Saved in:
7
Satisfiability modulo heap-based programs
by
LE, Quang Loc
,
SUN, Jun
,
CHIN
,
Wei
-
Ngan
Published 2016
Get full text
Get full text
text
Save to List
Saved in:
8
A decidable fragment in separation logic with inductive predicates and arithmetic
by
LE, Quang Loc
,
TATSUTA, Makoto
,
SUN, Jun
,
CHIN
,
Wei
-
Ngan
Published 2017
Get full text
Get full text
text
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...