论文信息 - A Rewriting Logic Implementation of Erlang - 字舞流文

A Rewriting Logic Implementation of Erlang

Thomas Noll | T. Noll

[1] José Meseguer,et al. Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[2] Joe Armstrong,et al. Concurrent programming in ERLANG , 1993 .

[3] Patrick Viry. Rewriting: An Effective Model of Concurrency , 1994, PARLE.

[4] P. Viry. Rewriting modulo a rewrite system , 1995 .

[5] José Meseguer,et al. Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report , 1996, CONCUR.

[6] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[7] Lars-Åke Fredlund,et al. Toward Parametric Verification of Open Distributed Systems , 1997, COMPOS.

[8] Lars-Åke Fredlund,et al. System Description: Verification of Distributed Erlang Programs , 1998, CADE.

[9] Thomas Noll. On Coherence Properties in Team Rewriting Models of Concurrency , 1999, CONCUR.

[10] Thomas Noll,et al. Rapid prototyping of specification language implementations , 1999, Proceedings Tenth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.PR00246).

[11] Frank Huch,et al. Verification of Erlang programs using abstract interpretation and model checking , 1999, ICFP '99.

[12] Thomas Arts,et al. Verifying Generic Erlang Client-Server Implementations , 2000, IFL.