Hochschulschrift
Optimising the memory management of higher order functional programs
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
III, 145 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 1997
- Bibliographic citation
-
Aachener Informatik-Berichte ; 97,13
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
RWTH, Fachgruppe Informatik
- (when)
-
1997
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:45 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Mohnen, Markus
- RWTH, Fachgruppe Informatik
Time of origin
- 1997
Other Objects (12)
Optimising the memory management of higher order functional programs
Learning higher-order logic programs
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
Proofs, programs and executable specifications in higher order logic
Transcriptional programs: Modelling higher order structure in transcriptional control
Proofs, programs and executable specifications in higher order logic
Higher-order correlations reveal complex memory in temporal hypergraphs
Higher-order lookup table masking in essentially constant memory
Optimising orbit counting of arbitrary order by equation selection
Higher-Order Order-Sorted Resolution
Higher-order computability
Higher-Order Tableaux
Optimising the memory management of higher order functional programs
Learning higher-order logic programs
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
Proofs, programs and executable specifications in higher order logic
Transcriptional programs: Modelling higher order structure in transcriptional control
Proofs, programs and executable specifications in higher order logic
Higher-order correlations reveal complex memory in temporal hypergraphs
Higher-order lookup table masking in essentially constant memory
Optimising orbit counting of arbitrary order by equation selection
Higher-Order Order-Sorted Resolution
Higher-order computability
Higher-Order Tableaux
Optimising the memory management of higher order functional programs
Learning higher-order logic programs
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
Proofs, programs and executable specifications in higher order logic
Transcriptional programs: Modelling higher order structure in transcriptional control
Proofs, programs and executable specifications in higher order logic
Higher-order correlations reveal complex memory in temporal hypergraphs
Higher-order lookup table masking in essentially constant memory
Optimising orbit counting of arbitrary order by equation selection
Higher-Order Order-Sorted Resolution
Higher-order computability