An Account of Implementing Applicative Term Rewriting

Weerdenburg, Muck van

doi:10.1016/j.entcs.2007.02.049

Cited by 3 publications

(1 citation statement)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is indeed true that a poor programmer may disqualify a valuable algorithm for some time, but if the algorithm sounds interesting, other scientists will try to implement it and come up with different experimental results. Also, publications containing invalid observations or conclusions have always been part of science, but sooner or later, if the topic is still of interest, they are detected and corrected (see, e.g., [21] vs [51] on the comparative assessment of term rewrite engines).…”

Section: Definition Of Formal Toolsmentioning

confidence: 99%

Reflections on Bernhard Steffen’s Physics of Software Tools

Garavel

Mateescu

2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Many software tools have been developed to implement the concepts of formal methods, sometimes with great success, but also with an impressive tool mortality and an apparent dispersion of efforts. There has been little analysis so far of such tool development as a whole, in order to make it more coherent, efficient, and useful to the society. Recently, however, Bernhard Steffen published a paper entitled "The Physics of Software Tools: SWOT Analysis and Vision" that precisely proposes such a global vision. We highlight the key ideas of this paper and review them in light of our own experience in designing and implementing the CADP toolbox for the specification and analysis of concurrent systems.

show abstract

Section: Definition Of Formal Toolsmentioning

confidence: 99%