Chin, Wei Ngan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[ACM Press the 1993 ACM SIGPLAN symposium - Copenhagen, Denmark (1993.06.14-1993.06.16)] Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93 - Towards an automated tupling strategy

Year:

1993

Language:

english

File:

PDF, 1.29 MB

english, 1993

52

A reexamination of “Optimization of array subscript range checks”

Chin, Wei-Ngan, Goh, Eak-Khoon

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1995

Language:

english

File:

PDF, 624 KB

english, 1995

53

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Safe fusion of functional expressions

Year:

1992

Language:

english

File:

PDF, 1.05 MB

english, 1992

54

[ACM Press the ACM SIGPLAN 2004 conference - Washington DC, USA (2004.06.09-2004.06.11)] Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04 - Region inference for an object-oriented language

Chin, Wei-Ngan, Craciun, Florin, Qin, Shengchao, Rinard, Martin

Year:

2004

Language:

english

File:

PDF, 202 KB

english, 2004

55

[ACM Press the second international symposium - Maui, Hawaii, United States (1997.07.20-1997.07.22)] Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 - Deriving efficient parallel programs for complex recurrences

Teo, Yong Meng, Chin, Wei-Ngan, Tan, Soon Huat

Year:

1997

Language:

english

File:

PDF, 1.29 MB

english, 1997

56

[ACM Press the 7th international symposium - Tucson, AZ, USA (2008.06.07-2008.06.08)] Proceedings of the 7th international symposium on Memory management - ISMM '08 - Analysing memory resource bounds for low-level programs

Chin, Wei-Ngan, Nguyen, Huu Hai, Popeea, Corneliu, Qin, Shengchao

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

57

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Dual analysis for proving safety and finding bugs

Popeea, Corneliu, Chin, Wei-Ngan

Year:

2010

Language:

english

File:

PDF, 444 KB

english, 2010

58

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Translation and optimization for a core calculus with exceptions

David, Cristina, Gherghina, Cristian, Chin, Wei-Ngan

Year:

2008

Language:

english

File:

PDF, 599 KB

english, 2008

59

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Threads as Resource for Concurrency Verification

Le, Duy-Khanh, Chin, Wei-Ngan, Teo, Yong Meng

Year:

2015

Language:

english

File:

PDF, 716 KB

english, 2015

60

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || Pointcuts as Functional Queries

Year:

2004

Language:

english

File:

PDF, 345 KB

english, 2004

61

Selected and extended papers from Partial Evaluation and Program Manipulation 2014

Chin, Wei-Ngan, Hage, Jurriaan

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 116 KB

english, 2015

62

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || Region-Based Memory Management for a Dynamically-Typed Language

Year:

2004

Language:

english

File:

PDF, 225 KB

english, 2004

63

[IEEE 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE) - Danang, Vietnam (2012.08.17-2012.08.19)] 2012 Fourth International Conference on Knowledge and Systems Engineering - Structured specification for program verification

Year:

2012

Language:

english

File:

PDF, 149 KB

english, 2012

64

A flow-based approach for variant parametric types

Chin, Wei-Ngan, Craciun, Florin, Khoo, Siau-Cheng, Popeea, Corneliu

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 495 KB

english, 2006

65

Safe fusion of functional expressions

Journal:

ACM SIGPLAN Lisp Pointers

Year:

1992

Language:

english

File:

PDF, 1.05 MB

english, 1992

66

A bounds inference method for vector-based memoization

Chin, Wei-Ngan, Hagiya, Masami

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.04 MB

english, 1997

67

Immutable specifications for more concise and precise verification

David, Cristina, Chin, Wei-Ngan

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 454 KB

english, 2011

68

Calculating sized types

Chin, Wei-Ngan, Khoo, Siau-Cheng

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.90 MB

english, 1999

69

Extending sized type with collection analysis

Chin, Wei-Ngan, Khoo, Siau-Cheng, Xu, Dana N.

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 228 KB

english, 2003

70

Automated specification inference in a combined domain via user-defined predicates

Qin, Shengchao, He, Guanhua, Chin, Wei-Ngan, Craciun, Florin, He, Mengda, Ming, Zhong

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 1.18 MB

english, 2017

71

Automated lemma synthesis in symbolic-heap separation logic

Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng, Chin, Wei-Ngan

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 495 KB

english, 2017

72

The effectiveness of Trapezia cymodoce in defending its host coral Pocillopora acuta against corallivorous Drupella

Samsuri, Astri Noorbaini, Kikuzawa, Yuichi Preslie, Taira, Daisuke, Sam, Shu Qin, Sim, Wan Ting, Ng, Chin Soon Lionel, Afiq-Rosli, Lutfi, Wee, Teck Wei Delon, Ng, Ngan Kee, Toh, Tai Chong, Chou, Loke

Journal:

Year:

2018

Language:

english

File:

PDF, 1.02 MB

english, 2018

73

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

Year:

2004

Language:

english

File:

PDF, 416 KB

english, 2004

74

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || An Algebraic Approach to Bi-directional Updating

Year:

2004

Language:

english

File:

PDF, 226 KB

english, 2004

75

Automated mutual induction proof in separation logic

Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng, Chin, Wei-Ngan

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 2.04 MB

english, 2018

76

[IEEE 2018 17th RoEduNet Conference: Networking in Education and Research (RoEduNet) - Cluj-Napoca (2018.9.6-2018.9.8)] 2018 17th RoEduNet Conference: Networking in Education and Research (RoEduNet) - Verification of C Buffer Overflows in C Programs

Bican, Andreea, Deaconescu, Razvan, Chin, Wei Ngan, Ta, Quang-Trung

Year:

2018

File:

PDF, 8 KB

2018

77

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, Australia (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Variant Region Types

Craciun, Florin, Chin, Wei-Ngan, Qin, Shengchao

Year:

2018

File:

PDF, 10 KB

2018

78

Completeness and expressiveness of pointer program verification by separation logic

Tatsuta, Makoto, Chin, Wei-Ngan, Al Ameen, Mahmudul Faisal

Journal:

Information and Computation

Year:

2019

Language:

english

File:

PDF, 584 KB

english, 2019

79

Variability in skeletal bulk densities of common hard corals in Southeast Asia

Ng, Chin Soon Lionel, Lim, Jia Xuan, Sam, Shu Qin, Kikuzawa, Yuichi Preslie, Toh, Tai Chong, Wee, Teck Wei, Sim, Wan Ting, Ng, Ngan Kee, Huang, Danwei, Chou, Loke Ming

Journal:

Year:

2019

Language:

english

File:

PDF, 745 KB

english, 2019