McErlang: a model checker for a distributed functional programming language
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Confessions of a used programming language salesman
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
IEEE Internet Computing
IEEE Internet Computing
Learning the Erlang programming language
Journal of Computing Sciences in Colleges
Concurrent programming in a nutshell
Journal of Computing Sciences in Colleges
Stage: exploring erlang style concurrency in ruby
Proceedings of the 1st international workshop on Multicore software engineering
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Scalaris: reliable transactional p2p key/value store
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Erlang for Concurrent Programming
Queue - The Concurrency Problem
Erlang for concurrent programming
Communications of the ACM - Being Human in the Digital Age
Environment-independent methodology for accessing external data sources
WSEAS Transactions on Information Science and Applications
Minimal Ownership for Active Objects
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
An intermediate introduction to the Erlang programming language: tutorial presentation
Journal of Computing Sciences in Colleges
Actors in a new "highly parallel" world
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
An Open Domain-Extensible Environment for Simulation-Based Scientific Investigation (ODESSI)
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
Software hardening: a research agenda
Proceedings for the 1st workshop on Script to Program Evolution
Automated module interface upgrade
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Development of a distributed system applied to teaching and learning
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Actor frameworks for the JVM platform: a comparative analysis
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Developing, simulating, and deploying peer-to-peer systems using the Kompics component model
Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Multicore education: pieces of the parallel puzzle
Proceedings of the 41st ACM technical symposium on Computer science education
Concurrent programming in Erlang: pre-conference workshop
Journal of Computing Sciences in Colleges
Test case generation for the task tree type of architecture
Information and Software Technology
Finding counter examples in induction proofs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Property driven development in Erlang, by example
Proceedings of the 5th Workshop on Automation of Software Test
Communications of the ACM
A fair protocol for non-deterministic message passing
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Enhanced Paxos Commit for Transactions on DHTs
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
Generic load regulation framework for Erlang
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
ICWE'10 Proceedings of the 10th international conference on Web engineering
Parallelization of K-means clustering on multi-core processors
ACS'10 Proceedings of the 10th WSEAS international conference on Applied computer science
Increasing functional coverage by inductive testing: a case study
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Incrementally discovering testable specifications from program executions
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Inferring compact models of communication protocol entities
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Dynamic resource reallocation between deployment components
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Formal analysis of message passing
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Detection of asynchronous message passing errors using static analysis
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Coordinating software components in a component-based architecture for robotics
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Validating timed models of deployment components with parametric concurrency
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
A Case Study on Verifying a Supervisor Component Using McErlang
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching concurrency-oriented programming with Erlang
Proceedings of the 42nd ACM technical symposium on Computer science education
Scribbling interactions with a formal foundation
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Pervasive parallelism for managed runtimes
HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Models of Rate Restricted Communication for Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Computational REST meets Erlang
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Accelerating race condition detection through procrastination
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Typed callbacks for more robust behaviours
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Proceedings of the fifth international workshop on High-level parallel programming and applications
CREST: principled foundations for decentralized systems
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Supporting Deadline Constrained Distributed Computations on Grids
GRID '11 Proceedings of the 2011 IEEE/ACM 12th International Conference on Grid Computing
Deciding choreography realizability
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static detection of race conditions in erlang
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Concurrency, Compositionality, and Correctness
Using static analysis to detect type errors and concurrency defects in erlang programs
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Parallel programming in morpho
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume Part I
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Programming and deployment of active objects with application-level scheduling
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
A formal model of user-defined resources in resource-restricted deployment scenarios
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Parallel discrete event simulation with Erlang
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Failover and takeover contingency mechanisms for network partition and node failure
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Declarative distributed advertisement system for iDTV: an industrial experience
Proceedings of the 14th symposium on Principles and practice of declarative programming
Modeling resource-aware virtualized applications for the cloud in real-time ABS
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Pyjama: OpenMP-like implementation for Java, with GUI extensions
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
Benchmarking communication in actor- and agent-based languages
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Grand challenge: real-time soccer analytics leveraging low-latency complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
Mio: a high-performance multicore io manager for GHC
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Load balancing non-uniform parallel computations
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Towards benchmarking actor- and agent-based programming languages
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Object-oriented programming: Some history, and challenges for the next fifty years
Information and Computation
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Hi-index | 0.02 |
Erlang solves one of the most pressing problems facing developers today: how to write reliable, concurrent, high-performance systems. It's used worldwide by companies who need to produce reliable, efficient, and scalable applications. Invest in learning Erlang now. Moore's Law is the observation that the amount you can do on a single chip doubles every two years. But Moore's Law is taking a detour. Rather than producing faster and faster processors, companies such as Intel and AMD are producing multi-core devices: single chips containing two, four, or more processors. If your programs aren't concurrent, they'll only run on a single processor at a time. Your users will think that your code is slow. Erlang is a programming language designed for building highly parallel, distributed, fault-tolerant systems. It has been used commercially for many years to build massive fault-tolerated systems that run for years with minimal failures. Erlang programs run seamlessly on multi-core computers: this means your Erlang program should run a lot faster on a 4 core processor than on a single core processor, all without you having to change a line of code. Erlang combines ideas from the world of functional programming with techniques for building fault-tolerant systems to make a powerful language for building the massively parallel, networked applications of the future. This book presents Erlang and functional programming in the familiar Pragmatic style. And it's written by Joe Armstrong, one of the creators of Erlang. It includes example code you'll be able to build upon. In addition, the book contains the full source code for two interesting applications: A SHOUTcast server which you can use to stream music to every computer in your house, and a full-text indexing and search engine that can index gigabytes of data. Learn how to write programs that run on dozens or even hundreds of local and remote processors. See how to write robust applications that run even in the face of network and hardware failure, using the Erlang programming language.