Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595934901

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards automatic verification of Erlang programs by π-calculus translation

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159798 ◽

2006 ◽

Cited By ~ 2

Author(s):

Chanchal Kumar Roy ◽

Thomas Noll ◽

Banani Roy ◽

James R. Cordy

Keyword(s):

Automatic Verification ◽

Π Calculus

Download Full-text

Model checking erlang programs

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159793 ◽

2006 ◽

Cited By ~ 3

Author(s):

Lars-Åke Fredlund ◽

Clara Benac Earle

Keyword(s):

Model Checking

Download Full-text

Testing telecoms software with quviq QuickCheck

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159792 ◽

2006 ◽

Cited By ~ 75

Author(s):

Thomas Arts ◽

John Hughes ◽

Joakim Johansson

Download Full-text

Concurrent caching

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159797 ◽

2006 ◽

Cited By ~ 1

Author(s):

Jay Nelson

Download Full-text

From HTTP to HTML

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159801 ◽

2006 ◽

Author(s):

Francesco Cesarini ◽

Lukas Larsson ◽

Michal Ślaski

Download Full-text

Concurrency oriented programming in termite scheme

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159795 ◽

2006 ◽

Cited By ~ 15

Author(s):

Guillaume Germain

Download Full-text

Comparing C++ and ERLANG for motorola telecoms software

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159800 ◽

2006 ◽

Author(s):

Phil Trinder

Download Full-text

EUnit

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159791 ◽

2006 ◽

Cited By ~ 9

Author(s):

Richard Carlsson ◽

Mickaël Rémond

Download Full-text

Dryverl

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159796 ◽

2006 ◽

Author(s):

Romain Lenglet ◽

Shigeru Chiba

Download Full-text

Evaluation of database management systems for Erlang

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 ◽

10.1145/1159789.1159802 ◽

2006 ◽

Cited By ~ 1

Author(s):

Emil Hellman

Keyword(s):

Database Management ◽

Database Management Systems ◽

Management Systems

Download Full-text

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards automatic verification of Erlang programs by π-calculus translation

Model checking erlang programs

Testing telecoms software with quviq QuickCheck

Concurrent caching

From HTTP to HTML

Concurrency oriented programming in termite scheme

Comparing C++ and ERLANG for motorola telecoms software

EUnit

Dryverl

Evaluation of database management systems for Erlang

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06
Latest Publications