Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,981,607 papers from all fields of science
Search
Sign In
Create Free Account
Mutual recursion
Known as:
Mutually recursive
The most important basic example of a data type that can be defined by mutual recursion is a tree, which can be defined mutually recursively in terms…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
Algebraic data type
Circular dependency
Computer science
Cooperative multitasking
Expand
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Implicit Induction Methods and Decision Procedures ? ( Extended Version )
Stephan Falke
,
D. Kapur
2006
Corpus ID: 18498115
Decision procedures are widely used in automated reasoning tools in order to reason about data structures. Their scope is…
Expand
2004
2004
The New Standard Tactics of the Inductive Theorem Prover Quodlibet the New Standard Tactics of the Inductive Theorem Prover Quodlibet
Tobias Schmidt-Samoa
,
Claus-Peter Wirth
2004
Corpus ID: 3094508
QUODLIBET is a tactic-based inductive theorem prover for the verification of algebraic specifications of algorithms in the style…
Expand
1999
1999
A general method to prove the normalization theorem for first and second order typed λ-calculi
1999
Corpus ID: 260604515
1999
1999
A Functional View of Join
Martin Odersky
,
Matthias Zenger
,
Gang Chen
,
C. Zenger
1999
Corpus ID: 6843862
Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming…
Expand
1998
1998
Compiling ComLisp to Executable Machine Code: Compiler Construction
W. Goerigk
,
Ulrich Hoffmann
1998
Corpus ID: 59753727
This report is one part of a series of documents describing the fully veri ed speci cation, construction and implementation of a…
Expand
1996
1996
A multi-level lexical-semantics based language model design for guided integrated continuous speech recognition
Francisco J. Valverde-Albacete
,
J. Pardo
Proceeding of Fourth International Conference on…
1996
Corpus ID: 32480394
We present a continuous speech recognition architecture with a tightly coupled language model that tries to improve the dwindling…
Expand
1995
1995
Parallelization of divide-and-conquer in the Bird-Meertens formalism
S. Gorlatch
,
C. Lengauer
Formal Aspects of Computing
1995
Corpus ID: 2084784
An SPMD parallel implementation schema for divide-and-conquer specifications is proposed and derived by formal refinement…
Expand
1992
1992
Interactive modular programming in Scheme
S. Tung
LFP '92
1992
Corpus ID: 2116008
This paper presents a module system and a programming environment designed to support interactive program development in Scheme…
Expand
1988
1988
An optimization strategy for recursive queries in logic databases
S. Sippu
,
E. Soisalon-Soininen
Proceedings. Fourth International Conference on…
1988
Corpus ID: 7414529
Considers the optimization of recursive database queries expressed in Datalog (function-free Horn clause programs). The authors…
Expand
1984
1984
Reasoning about synchronous systems
S. Brookes
1984
Corpus ID: 34153705
In this paper we describe a simple semantic model for synchronous systems of processes, suitable for high level functional…
Expand