Zachary Kessin - Using Logic Programming Tools to Drive Property-based Testing

PBT with tools like QuickCheck and Proper are quite powerful, but building the models to test against is still probably the hardest part. I aim to use a Logic Programming tool (Kanrem or Prolog) to create the model and validate the results. Talk objectives: To show how to use the powerful tools of logic programming and to how to build models to test Erlang code. Target audience: This will appeal to those who really enjoy programming languages and new tools.

Related Talks

Garrett Smith - Why The Cool Kids Don't Use Erlang

Erlang is ideally suited building scalable, fault tolerant systems with minimal investment. It can be used for any conceivable application - not just telecom. It has a multi-decade track record of success. So why does it remain a niche technology? To answer this question, Garrett turned to science. He conducted a ...

Chicago Boss: A Web Framework Built for Comfort (and Speed) - Evan Miller

Erlang Factory SF Bay Area 2013 More info and slides on the website: http://www.erlang-factory.com/conference/SFBay2013/talks We all know that Erlang is great for building complicated distributed systems, but did you know that building a website in Erlang is as easy as using Ruby on Rails? In this talk I'll introduce you to Chicago ...

Martin Rehfeld - How To Ship New Code Without Taking Your System Down - Berlin Erlang Factory Lite

Deployment Options: How To Ship New Code Without Taking Your System Down Erlang is quite famous for long-running interruption-free installations. But how is this achieved in practice while still evolving the software? We will look at different deployment options, from simple to advanced: 1. Deployment by restart 2. Hot code reloading 3. Release handling See hot ...

The How and Why of Fitting Things Together - Joe Armstrong

Erlang Factory SF Bay Area 2013 More info and slides on the website: http://www.erlang-factory.com/conference/SFBay2013/talks Software is difficult because the parts don't fit together. Why is this? Can we do anything about this? And what's this got to do with Erlang? Come to my talk and you'll find out! ...

Elixir: The Power of Erlang, the Joy of Ruby

Dave Thomas
an hour
I'm a language nut. I love trying them out, and I love thinking about their design and implementation. (I know, it's sad.) I came across Ruby in 1998 because I was an avid reader of comp.lang.misc (ask your parents). I downloaded it, compiled it, and fell in love. As with ...

Erlang: Evolution

Robert Virding
37 minutes
In this talk will discuss the circumstances that led to Erlang, the design choices that were made, what the future holds for Erlang and how it all relates to building scalable distributed systems now. http://www.erlang-factory.com/berlin2014/robert-virding About Robert Robert Virding is Principal Language Expert at Erlang Solutions Ltd. While at Ericsson AB, Robert ...

Implementing Languages on the BEAM

Robert Virding
2 hours
The BEAM, the Erlang VM, was designed to implement Erlang. This has led to that the features it provides and its limitations are different from most other VMs. In this talk we will why the BEAM looks like it does and how this affects the implementation of languages on it. ...

Zandra Norman - Scaling Distributed Erlang (ElixirConfEu 2016)

Slides and more info: http://www.elixirconf.eu/elixirconf2016/zandra-norman One of the great things with Erlang is how easy it is to distribute. Distributed Erlang makes applications transparent when porting them from a single computer to multiple computers in a network. There are still areas for improvement though, and the OTP team is working on ...