图论语言GTL组合算法程序(就如海南琼大曾世界领先的哈密顿图是计算机惊天大问题的最优试金石-以及这页第3段也见做这哈密顿图的北邮主席舒贤林的图论书前言说图论在计算机的程序设计等有广泛应用还如亚洲最先几批获得国际计算机学会院士的都是我们图论组合专家-这就想象欧美及世界各国的情况-就如这里的计算机科学,等等

我们全国图论专业委员会理事长主席左垲教授等合写的论文“图论语言GTL的设计与实现”,大连工学院学报,1988年第1期(本文正如摘要和正文开头段都说“本文设计了一种描述图论的专用程序设计语言──GTL”;其中左垲先生是我国学会创始人理事长);

左垲,迟忠先,李宪廷合写的书《常用组合算法程序汇编》,大连工学院出版社,1987年; 王伯平,龚杰民,图论应用问题算法语言与直观求解软件,西安电子科技大学学报.1993年第3期;

Terrence W. PrattDaniel P. Friedman,“A language extension for graph processing and its formal semantics图论处理语言扩展及其形式语义Comm. ACM14(1971), 461–467(美国数学评论)关于被引情况或看这里Terrence W. Pratt大师有几个博士的做图论处理语言博士论文并Terrence W. Pratt独撰1975年出版《Programming Languages:Design and Implementation程序设计语言:设计与实现》(见美国数学评论,这书第3版由傅育熙教授、黄林鹏教授主译1998年由电子工业出版社出版Terrence Pratt的这书的第4版就是这个程序设计语言书单的第1本书,4本书的作者Benjamin C. Pierce的导师Robert W. Harper的导师Robert L. Constable获得博士学位的威斯康星大学就是海南琼州大学的导师柳柏濂教授去合作几年诞生中国“第一本数学研究生用书的大学Robert L. Constable的博士Edmund M. Clarke, Jr.就获得计算机诺贝尔奖,而书单5本书的作者Kim B. Bruce获得博士学位的威斯康星大学就也是海南琼州大学的导师柳柏濂教授去合作几年的大学;第8本书的作者仍是上面威斯康辛大学的徒孙Benjamin C. Pierce,而最后第9本书的作者Andrew M. Pitts的博士导师Peter T. Johnstone就是海南琼州大学评论的图论大师Béla Bollobás的博士2年毕业的师弟

前面论文第2作者Daniel P. Friedman的博士论文就做“Graph Processing Language and Its Formal Definition图论处理语言,并Daniel P. Friedman写了“Essentials of Programming Languages”“The Little Schemer”“The Seasoned Schemer

James DelgrandeA graph-theoretic language图论语言 extension for an interactive computer graphics environmentComputers & Graphics. 1980, 5:1. (13-22)Werner RheinboldtVictor BasilliCharles Mesztenyi. On a programming language for graph algorithms. BIT Numerical Mathematics. (1972).12:2. (220-241)Geoff StutcliffeiGraphix a graph theory sub language. International Journal of Computer Mathematics. 198517:3-4(257-276)  Manfred NaglA Tutorial and Bibliographical Survey on Graph GrammarsGraph-grammars Workshop,1978, pp. 70--126最近中国计算机学会李国杰理事长会见了Manfred Nagl教授一行); Harold BoleyDirected Recursive Labelnode Hypergraphs: A New Representation-LanguageArtificial Intelligence, 1978,9,49-85 Peter Karp, John Lowrance, Thomas StratDavid WilkinsThe Grasper-CL graph management systemLisp and Symbolic Computation.1994 7:4(251-290) ……

《程序员》杂志总编说的:程序设计语言方面没有比裘老师合适的人选的裘老师就是北京大学裘宗燕教授,并他翻译的著作中列为他的“代表作品”的《程序设计语言基础》(北京大学出版社1990年出版),就是这里附件下面撰写“数据结构”圣经的海南琼州大学的导师柳柏濂教授去合作几年并由此成大家的威斯康星大学的硕士及博士并留校一直做到系副主任其后调去南加州大学等大学及IBM担任多个部门领导并创办一些知名软件公司Ellis Horowitz大师的世界名著(我导师的这校友的“数据结构”书和“计算机算法”书也都是世界第一受推崇欢迎的书-可说它仨是计算机3门主要专业课的世界第一级别三部曲-还多是较深入的研究生用书因而我都有这中文版和英文版的三部曲来攻读)。这威斯康辛大学博士Ellis Horowitz发表了许多涉及我们图论组合的相关论文:“The binary tree as an interconnection network: applications to multiprocessor systems and VLSI.二叉作为互连网络:在多处理器系统和超大规模集成电路中的应用”“Computing partitions with applications to the knapsack problem计算划分及其在背包问题中的应用”“Combinatorial problems: reducibility and approximation组合数学问题:可约性与逼近”“On computing the exact determinant of matrices with polynomial entries关于多项式项矩阵的精确行列式的计算”,等等(海南琼州大学的导师柳柏濂教授的母校威斯康星大学的博士的Ellis Horowitz的上面书当时最受欢迎,但因出版较早,如此最近海南琼州大学的导师柳柏濂教授的母校威斯康星大学的另一博士Michael L. Scott独撰的“Programming Language Pragmatics已成为程序设计语言最受欢迎的书,这书也由北大数学系裘宗燕教授翻译-看裘列在这里的博士生2011年才博士毕业的刘译璟担任首席技术官也是副总裁的是最近融资4亿元再融5亿元的中国唯一大数据公司百分点集团2010年毕业的彭力扬也是董事长2002年毕业的第1个博士秦胜潮是英国大学正教授副院长、第2个博士蒲戈光是总经理副院长,等等,都是才毕业不久,可见数学能很快在科技上有用武之地)。还如创立百亿软件公司Patrick M. Hanrahan的博士也是在海南琼州大学的导师柳柏濂教授去合作几年的威斯康星大学获得并其刚见已获得计算机诺贝尔奖,等等。

,可参考的相关领域还如①这页中国计算机学会正理事长支持的海南琼州大学的导师是主要开创者的计算机科学的核心领域及其Ada语言;②这页第2段开头海南琼州大学很简单解决的论文引用的Basic语言之父的工作而以前Basic语言是最重要的语言如此我有这之父的几本Basic语言著作;③北大前辈唐策善教授1991年由中科大出版社出版的《并行图论算法》;④这页附件下面的“数据结构也相关;⑤计算机算法,等等等

,还可参考组合数学优化的这页包含程序设计与计算机算法一些主要领域的很多世界名著,如前3本确定型组合最优化书之第1评价海南琼州大学是国际一流的刘振宏大师翻译《组合数学最优化》2们海南琼州大学一同担任1SCI杂志副主编的这里第5Katta Murty大师独撰出版的组合数学规划》、以及美籍大师Te Chiang Hu胡德强的《组合数学算法》3评价海南琼州大学是国际一流的林诒勋大师等翻《组合数学最优化,还如美国数学评论评论的《对程序设计语言的思考》-作者是海南琼州大学在某些方向曾世界领先的四色问题博士Philip Franklin的博士Alan Perlis(他是第一个计算机诺贝尔奖得主并被誉为作为一门学科的计算机科学之父)和Bernard Galler(总之,我们海南琼大攻读3年多的中国第一个组合数学研究室对这些领域的作用就如清华大学计算机系第一个博士的导师卢开澄教授的《组合数学:算法与分析》一书所预示)。

,关于图论与计算机的关系也如山东计算机学会第一届理事长郑玉林其后担任第二届常务理事长马绍汉的秘书长,马绍汉也再当第三届的理事长(马绍汉就是我们图论的专家,我也有他1988年出版的《图算法》和1992年出版的《算法分析与设计》等几本书,汪嘉业只因是山大系主任才当第二届理事长-如不论年龄、当教授、指导博士生时的时间资历都比马绍汉浅。刚见这仨人对山大计算机的寄语:汪嘉业寄语、马绍汉寄语、郑玉林寄语;最近马绍汉教授还协助高度评价海南琼州大学是国际一流水平的刘振宏大师一起撰写《离散最优化算法》一书。该省该校就如山大计算机系首任系主任汪嘉业写的“我们一起走过的路当时我系在董继润教授带领的数据库,马绍汉教授带领的图论算法和CAD及图形学方面是强项-其中“CAD及图形学”是汪嘉业自己的方向;还如刚见不知从何说起的“已成为密码学第一人”的王小云院士一开始我并不想转到密码学方向,因那时我已很喜欢数论”“1988日本密码学专家来中国要讲40天的公钥密码课程,山大计算机系的马绍汉老师找到了潘老师,请他让数学系支持一下密码学的研究,于老师就派了我还有计算机系的一个同学去西安学习密码学”其后的1990王小云才硕士研究生毕业并就已尝试做密码学,其中的潘老师就是对哥德巴赫猜想的突破有贡献的山东大学校长潘承洞。