Efficient call-by-value evaluation strategy of primitive recursive program schemes
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Schlagwort
-
Rekursives Programmschema
Evaluation
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (wann)
-
2010
- Urheber
-
Mössle, Andrea
Vogler, Heiko
- URN
-
urn:nbn:de:bsz:289-vts-70644
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Mössle, Andrea
- Vogler, Heiko
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Entstanden
- 2010
Ähnliche Objekte (12)
Exploratory subgroup analysis by recursive segmentation
Hierarchies of primitive recursive functions on term algebras
On the refinement of nondeterministic recursive routines by transformation
Nonparametric bootstrap procedures for predictive inference based on recursive estimation schemes
Simple program schemes and formal languages
Polynomial reproduction by symmetric subdivision schemes
Collusive Compensation Schemes Aided by Algorithms
Collusive compensation schemes aided by algorithms
Collusive Compensation Schemes Aided by Algorithms
Bootstrap Procedures for Recursive Estimation Schemes With Applications to Forecast Model Selection
Theory of program structures : schemes, semantics, verification
Program development by proof transformation
Exploratory subgroup analysis by recursive segmentation
Hierarchies of primitive recursive functions on term algebras
On the refinement of nondeterministic recursive routines by transformation
Nonparametric bootstrap procedures for predictive inference based on recursive estimation schemes
Simple program schemes and formal languages
Polynomial reproduction by symmetric subdivision schemes
Collusive Compensation Schemes Aided by Algorithms
Collusive compensation schemes aided by algorithms
Collusive Compensation Schemes Aided by Algorithms
Bootstrap Procedures for Recursive Estimation Schemes With Applications to Forecast Model Selection
Theory of program structures : schemes, semantics, verification
Program development by proof transformation
Exploratory subgroup analysis by recursive segmentation
Hierarchies of primitive recursive functions on term algebras
On the refinement of nondeterministic recursive routines by transformation
Nonparametric bootstrap procedures for predictive inference based on recursive estimation schemes
Simple program schemes and formal languages
Polynomial reproduction by symmetric subdivision schemes
Collusive Compensation Schemes Aided by Algorithms
Collusive compensation schemes aided by algorithms
Collusive Compensation Schemes Aided by Algorithms
Bootstrap Procedures for Recursive Estimation Schemes With Applications to Forecast Model Selection
Theory of program structures : schemes, semantics, verification