A CLP method for compositional and intermittent predicate abstraction

A CLP method for compositional and intermittent predicate abstraction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

書目詳細資料
Main Authors:	Jaffar, J., Santosa, A.E., Voicu, R.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/40121
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

An interpolation method for CLP traversal
由: Jaffar, J., et al.
出版: (2013)

Modeling systems in CLP
由: Jaffar, J., et al.
出版: (2013)

A CLP proof method for timed automata
由: Jaffar, J., et al.
出版: (2013)

A CLP approach to modelling systems
由: Jaffar, J.
出版: (2013)

Recursive abstractions for parameterized systems
由: Jaffar, J., et al.
出版: (2013)

A coinduction rule for entailment of recursively defined properties
由: Jaffar, J., et al.
出版: (2013)

Relative safety
由: Jaffar, J., et al.
出版: (2013)

Efficient memoization for dynamic programming with ad-hoc constraints
由: Jaffar, J., et al.
出版: (2013)

Optimizing compilation of CLP(R)
由: Kelly, A.D., et al.
出版: (2014)

A specialization calculus for pruning disjunctive predicates to support verification
由: Chin, W.-N., et al.
出版: (2013)

Meta-programming in CLP(ℛ)
由: Heintze, N., et al.
出版: (2014)

Peran Kadar HLA-C Pada Penderita CLP (Cleft Lip And Palate) di CLP Center Surabaya
由: Faizah Hanum, -
出版: (2019)

Towards a thesaurus of predicates
由: Shirai, Satoshi, et al.
出版: (2011)

PREDICATE-FRONTING IN BURMESE
由: KEELY NEW ZUO QI
出版: (2019)

Complex predicates in Korean
由: PARK HYUN-JU
出版: (2010)

HM(X) type inference is CLP(X) solving
由: Sulzmann, M., et al.
出版: (2013)

Predicate-fronting and animacy in Burmese
由: Keely New Zuo Qi
出版: (2019)

Toward Statistical Predicate Invention
由: Kok, Stanley, et al.
出版: (2019)

Indexing for dynamic abstract regions
由: Jaffar, J., et al.
出版: (2013)

PERFORMANCE ANALYSIS OF PREDICATED BUG SIGNATURE METHOD FOR BUG LOCALIZATION OF PROGRAMS
由: Ihza Parama, Rizki

An [omega]-order predicate logic with types
由: Anocha Yimsiriwattana
出版: (2009)

ETF predication with machine learning algorithms
由: Jin, Ziyan
出版: (2022)

Mining succinct predicated bug signatures
由: Sun, C., et al.
出版: (2014)

The Prolog not-predicate and negation as failure rule
由: Ling, T.W.
出版: (2014)

An [omega]-order predicate logic with types
由: Anocha Yimsiriwattana
出版: (1997)

Compiler orchestrated prefetching via speculation and predication
由: Rabbah, R.M., et al.
出版: (2013)

Compiler orchestrated prefetching via speculation and predication
由: Rabbah, R.M., et al.
出版: (2013)

Compiler orchestrated prefetching via speculation and predication
由: Rabbah, R.M., et al.
出版: (2013)

PERBANDINGAN SEFALOMETRI JARINGAN LUNAK PADA KELAS I SKELETAL DENGAN POST OPERASI PENDERITA CLP UNILATERAL DAN PENDERITA CLP BILATERAL (Studi Analisis Sefalometri)
由: ARDAN FITRIANTO, 021518066311
出版: (2019)

EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E
由: QUEK ZHU HUI JOEL
出版: (2021)

A utilization of schema constraints to transform predicates in XPath query
由: Thi Le, D.X., et al.
出版: (2013)

Efficient processing of XML path queries with not-predicates
由: JIAO ENHUA
出版: (2019)

THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE
由: BHARDWAJ, NEER, et al.
出版: (2023)

Mycobacterium tuberculosis ClpC1: A potential target for tuberculosis drug discovery
由: RIWANTO MELIANA
出版: (2011)

An envelope method for detection of turbulence intermittency in a transitional boundary layer
由: Chew, Y.T., et al.
出版: (2014)

A path-based approach for efficient structural join with not-predicates
由: Li, H., et al.
出版: (2013)

A decidable fragment in separation logic with inductive predicates and arithmetic
由: LE, Quang Loc, et al.
出版: (2017)

PREDICATED BUG SIGNATURE MINING VIA HIERARCHICAL INSTRUMENTATION METHOD DEVELOPMENT FOR BUG LOCALIZATION IN PROGRAM
由: Azka Widyanto, Muhammad

PERFORMANCE ANALYSIS OF HIERARCHICAL INSTRUMENTATION MINING PREDICATED BUG SIGNATURE METHOD FOR BUG LOCALIZATION IN PROGRAMS
由: Rusrin Pratama, Nando

The N-terminal zinc binding domain of ClpX is a dimerization domain that modulates the chaperone function
由: Wojtyra, U. A., et al.
出版: (2013)