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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The transformational programming method of algorithm derivation starts with a formal specification of the result to be achieved… 
2011
2011
The fundamental turn of software toward concurrency, decentralization, distribution, interaction calls for conceptually extending… 
2008
2008
LiC is a simple but powerful and flexible software tool, written in MatLab, for basic detector design studies (geometries… 
Review
2005
Review
2005
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 is the concrete implementation of CRWL, a wide theoretical framework for declarative programming whose basis is a constructor… 
1999
1999
We show how periodized wavelet packet transforms and periodized wavelet transforms can be implemented on a quantum computer… 
1998
1998
This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a… 
1997
1997
In earlier work, the authors presented some preliminary empirical scalability results for a constraint-based program plan… 
1991
1991
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