Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, UK

First Page		Document Content
Date: 2006-11-15 05:07:45 Higher-order functions Erlang programming language Ericsson Erlang Functional programming Pattern matching Guard Open Telecom Platform Fold Software engineering Computing Computer programming		Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, UK Add to Reading List Source URL: www.erlang.se Download Document from Source Website File Size: 1,37 MB Share Document on Facebook

	WADE – An Open Source Platform for Workflows and Agents G. Caire, E. Quarantotto, G. Sacchi Telecom Italia Via Reiss RomoliTorino - Italy DocID: 1tcUg - View Document
	Programming Language Impact on the Development of Distributed Systems Steve Vinoski Architect, Basho Technologies DocID: 1phvC - View Document
	Static Detection of Race Conditions in Erlang Maria Christakis1 and Konstantinos Sagonas1,2 1 2 DocID: 1oH16 - View Document
	PDF Document DocID: 1mn19 - View Document
	PRODUCT DOCUMENTATION Pivotal™ RabbitMQ® Version 3.4 Getting Started with Pivotal RabbitMQ DocID: 1mgAn - View Document