Sökning: "Erlang"

Visar resultat 11 - 15 av 18 avhandlingar innehållade ordet Erlang.

1. 11. Property-based testing for functional programs

   Författare :Nicholas Smallbone; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; testing; Functional programming;

   Sammanfattning : This thesis advances the view that property-based testing is a powerful way of testing functional programs, that has advantages not shared by traditional unit testing. It does this by showing two new applications of property-based testing to functional programming as well as a study of the effectiveness of property-based testing. LÄS MER

3. 12. Lightweight verification of functional programs

   Författare :Nicholas Smallbone; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We have built several tools to help with testing and verifying functional programs. All three tools are based on QuickCheck properties. Our goal is to allow programmers to do more with QuickCheck properties than just test them. LÄS MER

4. 13. Efficient memory management for message-passing concurrency, Part I : Single-threaded execution

   Författare :Jesper Wilhelmsson; Konstantinos Sagonas; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Manual memory management is error prone. Some of the errors it causes, in particular memory leaks and dangling pointers, are hard to find. Manual memory management becomes even harder when concurrency enters the picture. LÄS MER

5. 14. Contributions to parallel multiparadigm languages : combining object-oriented and rule-based programming

   Författare :Eva Toller; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Today, object-oriented programming is widely used as a practical tool. For some types of complex applications, the object-oriented style needs to be complemented with other types of programming paradigms into a multiparadigm language. One candidate for such a complement is the rule-based programming paradigm. LÄS MER

7. 15. The design philosophy of distributed programming systems: the Mozart experience

   Författare :Per Brand; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Distributed programming is usually considered both difficult and inherently different from concurrent centralized programming. It is thought that the distributed programming systems that we ultimately deploy, in the future, when we've worked out all the details, will require a very different programming model and will even need to be evaluated by new criteria. LÄS MER