- Install the GCC compiler. This is done by installing Xcode, Apple's developer tool set, available for free after registration. It can be found at the Apple ADC.
- Install the Apache FOP print formatter. This Java application is needed for building the documentation. This implies that you also need Java. The configuration routine checks for Java SDK 1.5. (or higher). I had Java SDK 1.6 installed.
Get the latest Erlang source, which in my case was a file named otp_src_R13B03.tar. Unarchive the file and follow the instructions:
$ cd otp_src_R13B03 $. /configure $ make $ sudo make install
Now bring up a terminal and issue the command:
$ erl Erlang R13B03 (erts-5.7.4) [source] [smp:2:2] [rq:2] [async-threads:0] [kernel-poll:false] Eshell V5.7.4 (abort with ^G) 1> 1+2. 3 2>That's it! I am ready to have some Erlang fun.
Wednesday, 12 May 2010
Photo: Wolfgang Staudt
ICFEM brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.
Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered:
- Formal model-based development and code generation
- Abstraction and refinement
- Formal specification and modelling
- Software verification
- Formal approaches to software testing
- Software model checking
- Formal methods for object and component systems
- Analysis and models for concurrency
- Formal methods for cloud computing
- Tool development and integration
- Software safety, security and reliability
- Experiments involving verified systems
- Applications of formal methods