Sciweavers

ERLANG
2004
ACM

Structured programming using processes

13 years 9 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design constructs. Techniques for enforcing strong encapsulation, partitioning for fault isolation and data flow instrumentation, reusing code, ing and adapting interfaces, simulating inputs, managing and distributing resources and creating complex application behavior are described. The concept of inductive decomposition is introduced as a method for modularizing code based on the dynamic behavior of the system over time, rather than the static structure of a program. This approach leads to code subsumption, abstraction, automated testing, dynamic data versioning and dynamic code revision all of which contribute to more reliable, fault-tolerant software. Categories and Subject Descriptors D.2.2. [Design Tools and Techniques]: Modules and interfaces. General Terms Design, Reliability, Languages, Theory. Keywords Inductive D...
Jay Nelson
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where ERLANG
Authors Jay Nelson
Comments (0)