The phrase "abstract program" is correct and usable in written English.
It can be used in contexts related to computer science, software development, or theoretical discussions about programming concepts.
Example: "The abstract program serves as a blueprint for implementing various algorithms in different programming languages."
Alternatives: "conceptual program" or "theoretical program".
This demands that the abstract program, determined by the semantic interpretation of its language, satisfies the specification.
Indeed, the complexity of program proving has led programmers to take physical testing to be evidence that the abstract program meets its specification.
The alternative picture has it that the abstract program (determined by its semantics) provides the function of the artifact, and the physical artifact, or rather its description, provides its structure.
Abstract: Programming is a skill that is best learned actively.
Scratch is a creativity tool from the M.I.T. Media Lab that turns abstract programming concepts like recursion into snap-together puzzle pieces.
Techniques ranging from new, abstract programming languages to back-end compiler algorithms can be leveraged to attain these goals.
Starting from problem specification, an abstract parallel abstract programming language+ (Apla+) program is generated from parallelized algorithm design strategies and problem-specific function definitions.
The lightweight dataflow (LWDF) programming methodology provides an abstract programming model that supports dataflow-based design of signal processing hardware and software components and systems.
CAD systems usually separate these two aspects, providing the abstract programming capability via a textual programming language grafted on to a 3D object editor and solid modeller.
In 1967, Logo proposed to teach abstract programming concepts by providing a set of functions that had intuitive, visible effects over a robotic Turtle.
We report a series of studies investigating the choices that users make between direct manipulation and abstract programming strategies when operating domestic appliances.
