征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
The advantage of computing with graphs rather than terms is that common subexpressions can be shared, improving the efficiency of computations in space and time. Sharing is ubiquitous in implementations of programming languages : many functional, logic, object-oriented and concurrent calculi are implemented using term graphs. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Different research areas include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as models of biological or chemical abstract machines, and automated reasoning and symbolic computation systems working on shared structures. Rachid Echahed (IMAG, Grenoble, France) Detlef Plump (Univ. of York, UK) Dates: Saturday March 23th, 2013
征稿信息
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 03月23日

    2013

    会议日期

  • 03月23日 2013

    注册截止日期

主办单位
Sapienza - Universita di Roma
联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询