Trace analysis of Erlang programs

ACM SIGPLAN Erlang Workshop

Volumn , Issue , 2002, Pages 16-23

  Arts, Thomas ^a   Fredlund, Lars Åke ^b  

^a IT University   (Sweden)

^b SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; BINARY CODES; COMPUTER PROGRAMMING; SOFTWARE ENGINEERING;

SOFTWARE DESIGN;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036980261     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/592849.592852     Document Type: Conference Paper

References (10)

1. G. Ammons, R. Bodik, and J. Larus. Mining specifications. In In Proc. POPL '02, 2002.
2. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang (Second Edition). Prentice-Hall International (UK) Ltd., 1996.
3. S. Blau and J. Rooth. AXD 301 - a new generation ATM switching system. Ericsson Review, 1:10-17, 1998.
4. J. Cook and A. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, 1998.
5. J.-C. Fernandez, H. Garavel, A. Kerbrat, L. Mounter, R. Mateescu, and M. Sighireanu. CADP: A protocol validation and verification toolbox. In Proceedings of the 8th Conference on Computer-Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 437-440. Springer, 1996.
6. M. Fröhlich and M. Werner. The graph visualization system daVinci - a user interface for applications. Technical Report 5/94, Department of Computer Science; Universitt Bremen, 1994.
7. E. R. Gansner, E. Koutsofios, S. C. North, and K.-P. Vo. A technique for drawing directed graphs. Software Engineering, 19(3):214-230, 1993.
8. D. Kozen. Results on the propositional μ-calculus. Theoretical Comput. Sci., 27:333-354, 1983.
9. S. Torstendahl. Open telecom platform. Ericsson Review, 1, 1997.
10. U. Wiger. Four-fold increase in productivity and quality - industrial-strength functional programming in telecom-class products. In Proceedings of the 2001 Workshop on Formal Design of Safety Critical Embedded Systems (FEmSYS 2001), 2001.