Towards Symbolic Execution in Erlang

DOI10.1007/978-3-662-46823-4_28zbMath1434.68063OpenAlexW1164717351MaRDI QIDQ3455085

Germán Vidal

Publication date: 3 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10251/66304

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (3)

Program equivalence in an untyped, call-by-value functional language with uncurried functions ⋮ Towards Modelling Actor-Based Concurrency in Term Rewriting ⋮ Concolic Execution in Functional Programming by Program Instrumentation

Uses Software

• Erlang

This page was built for publication: Towards Symbolic Execution in Erlang