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.
2013
2013
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… 
2011
2011
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
The fundamental turn of software toward concurrency, decentralization, distribution, interaction calls for conceptually extending… 
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… 
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
1999
Highly Cited
1999
TOY: A Multiparadigm Declarative System
TOY is the concrete implementation of CRWL, a wide theoretical framework for declarative programming whose basis is a constructor… 
1999
1999
Wavelets and wavelet packets on quantum computers
We show how periodized wavelet packet transforms and periodized wavelet transforms can be implemented on a quantum computer… 
1998
1998
Type Analysis for CHIP
This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a… 
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… 
1991
1991
GEdit: a test bed for editing by contiguous gestures
GEdit is a prototype graphical editor that permits you to create and manipulate three simple types of objects using shorthand and… 
Highly Cited
1989
Highly Cited
1989
Programming in Mathematica
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)