Klik på en miniature for at gå til Google Books
Indlæser... Functional Programming Languages and Computer Architectureaf Jean-Pierre Jouannaud
Ingen Indlæser...
Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog. Der er ingen diskussionstråde på Snak om denne bog. Ingen anmeldelser ingen anmeldelser | tilføj en anmeldelse
Belongs to Series
Miranda: A non-strict functional language with polymorphic types.- Data flow graph optimization in if1.- Strictness analysis -- a practical approach.- The categorical abstract machine.- High order programming in extended FP.- Secd-m: a virtual machine for applicative programming.- Cobweb -- A combinator reduction architecture.- How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages.- Lazy memo-functions.- An architecture for fast data movement in the FFP machine.- An architecture that efficiently updates associative aggregates in applicative programming languages.- Lambda lifting: Transforming programs to recursive equations.- Optimizing almost-tail-recursive prolog programs.- Designing regular array architectures using higher order functions.- $$vmathcal{{F}}mathcal{{P}}$$ : An environment for the multi-level specification, analysis, and synthesis of hardware algorithms.- A distributed garbage collection algorithm.- Cyclic reference counting for combinator machines.- Design for a multiprocessing heap with on-board reference counting.- A functional language and modular architecture for scientific computing.- Practical polymorphism.- Program verification in a logical theory of constructions.- Transforming recursive programs for execution on parallel machines.- Compiling pattern matching.- Serial combinators: "optimal" grains of parallelism.- The G-machine: A fast, graph-reduction evaluator. No library descriptions found. |
Current DiscussionsIngen
Google Books — Indlæser... GenrerMelvil Decimal System (DDC)005.1Information Computing and Information Computer programming, programs, data, security ProgrammingLC-klassificeringVurderingGennemsnit: Ingen vurdering.Er det dig?Bliv LibraryThing-forfatter. |