Non-structured programming

Known as: Unstructured programming

Non-structured programming is the historically earliest programming paradigm capable of creating Turing-complete algorithms. It is often contrasted…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic…

2009

To avoid exponential explosion, program verifiers turn the program into a passive form before generating verification conditions…

2006

2005

Automated test data generation is always a hot topic in software engineering, and evolutionary testing (ET) is an emerging and…

2003

Information flow analysis is concerned with validating the security of information flows between objects in a program and between…

1994

This thesis addresses the software maintenance problem of extracting high-level designs from code. The investigated solution is…

1993

As operating systems were developed, limitations in the hardware and software technologies forced the designers to develop large…

1988

Software maintenance can be transformed from the unmanageable, trial-and-error activity into a systematic engineering discipline…

1984

Structure plays a important part in the design of large systems. Unstructured programs are difficult to design or test and good…

1973

An experimental programming language called APLGOL adds structured programming facilities to the existing framework of APL. The…