TERMGRAPH 2013 - 7th International Workshop on Computing with Terms and Graph (TERMGRAPH)
Topics/Call fo Papers
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)
Rachid Echahed (IMAG, Grenoble, France)
Detlef Plump (Univ. of York, UK)
Other CFPs
- 1st International Workshop on Strategic Reasoning (SR)
- 11th Workshop on Quantitative Aspects of Programming Languages (QAPL)
- 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)
- 1st Workshop on Optimistic Cooperation in Concurrent Programming (OCCP)
- 5th Meeting of the working group on Models and Logics for Quantitative Analysis (MLQA)
Last modified: 2012-06-30 21:29:13