Complex Objects and Applications

摘要：

　　We further develop our earlier complex objects proposals and present several new and improved solutions, for a variety of problems: a faster SAT solution with a fixed number of rules, a simple metaprogramming facility, a monad template and a termination detection algorithm. This results enforce our conjecture that our complex object proposals enable an efficient high-level programming style for P systems.

关键词： P systems complex objects generic rules data structures control flow parallel composition function calls recursion monads metaprogramming numerical P systems NP-complete termination detection applications

作者: Radu Nicolescu Huiling Wu

作者单位: Department of Computer Science,University of Auckland,Private Bag 92019,Auckland,New Zealand

会议类型: 国际会议

会议名称: 2013年第二届亚洲膜计算国际会议(2013ACMC)

会议地点: 成都

会议语种:英文

页码: 179-198

在线出版日期: 2013-11-04（万方平台首次上网日期，不代表论文的发表时间）