Skip to search formSkip to main contentSkip to account menu

Toy program

Known as: Toy programs 
A toy program is a small computer program typically used for educational purposes. Toy programs are generally of little practical use, although the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Computer programQuadratic equation

Broader (1)

Computer programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Provably correct derivation of algorithms using FermaT
The transformational programming method of algorithm derivation starts with a formal specification of the result to be achieved… 
2009
2009
Suppressing the Total Costs of Executing Tasks Using Mobile Agents
This paper presents a framework for controlling multiple robots connected by communication networks. Instead of making multiple… 
2008
2008
The ‘LiC Detector Toy’ program
LiC is a simple but powerful and flexible software tool, written in MatLab, for basic detector design studies (geometries… 
2007
2007
Semantic Determinism and Functional Logic Program Properties
Review
2005
Review
2005
An Overview of Semantics for the Validation of Numerical Programs
In this article, we introduce a simple formal semantics for floating-point numbers with errors which is expressive enough to be… 
Highly Cited
2003
Highly Cited
2003
Production programming in the classroom
Students in programming courses generally write "toy" programs that are superficially tested, graded, and then discarded. This… 
2003
2003
From Lego, Java and Mathematica to feature interaction
We’re all familiar with construction kits like Lego. A pile of Lego bricks can take you to almost anywhere your imagination wants… 
Review
2002
Review
2002
Achievements and Prospects of Program Synthesis
  • P. Flener
  • Computational Logic: Logic Programming and Beyond
  • 2002
  • Corpus ID: 46206273
Program synthesis research aims at developing a program that develops correct programs from specifications, with as much or as… 
1997
1997
New experiments with a constraint-based approach to program plan matching
In earlier work, the authors presented some preliminary empirical scalability results for a constraint-based program plan… 
1979
1979
The evolution of list-copying algorithms and the need for structured program verification
How can one organize the understanding of complex algorithms? People have been thinking about this issue at least since Euclid… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)