Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;E Albert,2012
2. Albert, E., Vidal, G.: The narrowing-driven approach to functional logic program specialization. New Generation Computing 20(1), 3–26 (2002)
3. Joe, A., Robert, V., Williams, M.: Concurrent programming in ERLANG. Prentice Hall (1993)
4. Arts, T., Earle, C.B., Derrick, J.: Development of a verified Erlang program for resource locking. STTT 5(2–3), 205–220 (2004)
5. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A core Erlang semantics for declarative debugging;Journal of Logical and Algebraic Methods in Programming;2019-10
2. A Formal, Resource Consumption-Preserving Translation of Actors to Haskell;Logic-Based Program Synthesis and Transformation;2017
3. A framework for computing finite SLD trees;Journal of Logical and Algebraic Methods in Programming;2015-03
4. Towards Symbolic Execution in Erlang;Lecture Notes in Computer Science;2015