位置：成果数据库 > 会议 > 会议详情页
Introducing Advanced Generic Programming: Categorical Foundations and Applications
  • 所属机构名称：江西师范大学
  • 会议名称：Proceedings of 3rd International Conference on Computer Science & Education, Kaifeng, China, 200
  • 成果类型：会议
  • 相关项目：基于PAR平台的信息系统应用软件若干共性关键技术研究
作者： 郑宇军, *薛锦云|
同会议论文项目
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
同项目会议论文
Formal Derivation and Automatic Generation of Sorting Algorithms
A Linear In-Situ Algorithm for the Power of Cyclic Permutation
A Mechanical Approach for Deriving Algorithmic Programs
Generating Provably Correct Algorithmic Programs from Formal Specifications
ISDGen: An Automated Simulation Data Generation Tool for Object-Oriented Information Systems.
Generating Algorithms plus Loop invariants by Formal Derivation
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Prob
A category theoretic approach to search algorithms:towards a unified implementation for branch-and-b
Categorial Semantics of a Solution to Distributed Dining Philosophers Problem[C]
Agent Based Framework for Emergency Rescue and Assistance Planning
一种基于PAR的高可靠算法程序设计技术
Toward an automatic approach to greedy algorithms
Formal Derivation of A Generic Algorithmic Program for Solving a Class Extremum Problems
From Mathematics to Software Engineering: introducing category theory into the computer science curr
Formal design and intelligent maintenance of ballistic computers
Automated Large-Scale Simulation Test-Data Generation for Object-Oriented Software Systems
Formal Programming for the Shortest Path and Its Critical Edge Problems
Distributed Cooperative Planning and Scheduling for Disaster Management
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs