Calculating Functional Programs

Calculating Functional Programs

Pokaż inne wersje (2)

A good way of developing a correct program is to <em>calculate</em> it from its specification. Functional programming languages are especially suitable for this, because their referential transparency greatly helps calculation. We discuss the ideas behind program calculation, and illustr...

Szczegółowa specyfikacja

Opis bibliograficzny
1. autor:	Gibbons, J
Format:	Conference item
Wydane:	School of Computing and Mathematical Sciences‚ Oxford Brookes University 1997

Podobne zapisy

Calculating Functional Programs
od: Gibbons, J
Wydane: (2002)

Calculating functional programs
od: Gibbons, J
Wydane: (2002)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
od: Gibbons, J
Wydane: (1999)

Functional Programming for Domain−Specific Languages
od: Gibbons, J
Wydane: (2013)

Programming programmable calculators /
od: 421597 Engelsohn, Harold S.
Wydane: (1978)

On Programming and Spreadsheet Calculations
od: Gabriela Lovászová, i wsp.
Wydane: (2004-01-01)

On Programming and Spreadsheet Calculations
od: Gabriela Lovászová, i wsp.
Wydane: (2003-07-01)

Origami Programming
od: Gibbons, J
Wydane: (2003)

Bridging the algorithm gap: A linear-time functional program for paragraph formatting
od: de Moor, O, i wsp.
Wydane: (1999)

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting
od: de Moor, O, i wsp.
Wydane: (1999)

Algebraic Identities for Program Calculation
od: Bird, R
Wydane: (1989)

Calculator programs for chemical engineers/
od: Cavaseno, Vincent
Wydane: (1982)

Programming for an automatic digital calculator /
od: 208024 Booth, Kathleen H. V.
Wydane: (1958)

Calculator programming chemistry and the sciences /
od: 366277 Clarke, Frank H.
Wydane: (1981)

Scantling calculations program [disket] /
od: 172390 Roslin Ramli
Wydane: (1988)

NEW PROGRAM OF THE BURDEN CALCULATION
od: L. Z. Pisarenko, i wsp.
Wydane: (2004-02-01)

PROGRAMS OF AES EPHEMERIDES CALCULATION
od: S. Ja. Kolesnik, i wsp.
Wydane: (2017-08-01)

Structured programming in Java
od: Gibbons, J
Wydane: (1998)

Fission for Program Comprehension
od: Gibbons, J
Wydane: (2006)

Structured Programming in Java
od: Gibbons, J
Wydane: (1998)

Fission for program comprehension
od: Gibbons, J
Wydane: (2006)

Datatype-generic programming
od: Gibbons, J
Wydane: (2007)

Datatype−Generic Programming
od: Gibbons, J
Wydane: (2007)

APLicative programming with Naperian functors
od: Gibbons, J
Wydane: (2017)

Unifying Theories of Programming with Monads
od: Gibbons, J
Wydane: (2012)

How to design co-programs
od: Gibbons, J
Wydane: (2021)

Patterns in Datatype−Generic Programming
od: Gibbons, J
Wydane: (2003)

EPW: A program for calculating the electron-phonon coupling using maximally localized Wannier functions
od: Noffsinger, J, i wsp.
Wydane: (2010)

EPW: A program for calculating the electron-phonon coupling using maximally localized Wannier functions
od: Noffsinger, J, i wsp.
Wydane: (2010)

Programming with ornaments
od: Ko, H, i wsp.
Wydane: (2016)

How to program your programmable calculator /
od: 235916 Snover, Stephen I., i wsp.
Wydane: (1979)

Calculator programs for the hydrocarbon processing industries/
od: 413996 Jagannath, S.
Wydane: (1980)

Calculator Programs for Pipe Stress Engineering /
od: Morgan, Kenneth Scott, author 171272
Wydane: (1986)

Handheld calculator programs for engineering design /
od: 447863 Marter, Melvin L.
Wydane: (1983)

Design of Computer Program for Calculating Crop
od: Huda H. Bader, i wsp.
Wydane: (2013-05-01)

Design patterns as higher-order datatype-generic programs
od: Gibbons, J
Wydane: (2006)

Towards a colimit-based semantics for visual programming
od: Gibbons, J
Wydane: (2002)

Design Patterns as Higher−Order Datatype−Generic Programs
od: Gibbons, J
Wydane: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
od: Gibbons, J
Wydane: (2005)

Towards a Colimit−Based Semantics for Visual Programming
od: Gibbons, J
Wydane: (2002)