Calculating Functional Programs

Calculating Functional Programs

Toon andere (2) versies

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...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteur:	Gibbons, J
Formaat:	Conference item
Gepubliceerd in:	School of Computing and Mathematical Sciences‚ Oxford Brookes University 1997

Gelijkaardige items

Calculating Functional Programs
door: Gibbons, J
Gepubliceerd in: (2002)

Calculating functional programs
door: Gibbons, J
Gepubliceerd in: (2002)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
door: Gibbons, J
Gepubliceerd in: (1999)

Functional Programming for Domain−Specific Languages
door: Gibbons, J
Gepubliceerd in: (2013)

Programming programmable calculators /
door: 421597 Engelsohn, Harold S.
Gepubliceerd in: (1978)

On Programming and Spreadsheet Calculations
door: Gabriela Lovászová, et al.
Gepubliceerd in: (2004-01-01)

On Programming and Spreadsheet Calculations
door: Gabriela Lovászová, et al.
Gepubliceerd in: (2003-07-01)

Origami Programming
door: Gibbons, J
Gepubliceerd in: (2003)

Bridging the algorithm gap: A linear-time functional program for paragraph formatting
door: de Moor, O, et al.
Gepubliceerd in: (1999)

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting
door: de Moor, O, et al.
Gepubliceerd in: (1999)

Algebraic Identities for Program Calculation
door: Bird, R
Gepubliceerd in: (1989)

Calculator programs for chemical engineers/
door: Cavaseno, Vincent
Gepubliceerd in: (1982)

Programming for an automatic digital calculator /
door: 208024 Booth, Kathleen H. V.
Gepubliceerd in: (1958)

Calculator programming chemistry and the sciences /
door: 366277 Clarke, Frank H.
Gepubliceerd in: (1981)

Scantling calculations program [disket] /
door: 172390 Roslin Ramli
Gepubliceerd in: (1988)

NEW PROGRAM OF THE BURDEN CALCULATION
door: L. Z. Pisarenko, et al.
Gepubliceerd in: (2004-02-01)

PROGRAMS OF AES EPHEMERIDES CALCULATION
door: S. Ja. Kolesnik, et al.
Gepubliceerd in: (2017-08-01)

Structured programming in Java
door: Gibbons, J
Gepubliceerd in: (1998)

Fission for Program Comprehension
door: Gibbons, J
Gepubliceerd in: (2006)

Structured Programming in Java
door: Gibbons, J
Gepubliceerd in: (1998)

Fission for program comprehension
door: Gibbons, J
Gepubliceerd in: (2006)

Datatype-generic programming
door: Gibbons, J
Gepubliceerd in: (2007)

Datatype−Generic Programming
door: Gibbons, J
Gepubliceerd in: (2007)

APLicative programming with Naperian functors
door: Gibbons, J
Gepubliceerd in: (2017)

Unifying Theories of Programming with Monads
door: Gibbons, J
Gepubliceerd in: (2012)

How to design co-programs
door: Gibbons, J
Gepubliceerd in: (2021)

Patterns in Datatype−Generic Programming
door: Gibbons, J
Gepubliceerd in: (2003)

EPW: A program for calculating the electron-phonon coupling using maximally localized Wannier functions
door: Noffsinger, J, et al.
Gepubliceerd in: (2010)

EPW: A program for calculating the electron-phonon coupling using maximally localized Wannier functions
door: Noffsinger, J, et al.
Gepubliceerd in: (2010)

Programming with ornaments
door: Ko, H, et al.
Gepubliceerd in: (2016)

How to program your programmable calculator /
door: 235916 Snover, Stephen I., et al.
Gepubliceerd in: (1979)

Calculator programs for the hydrocarbon processing industries/
door: 413996 Jagannath, S.
Gepubliceerd in: (1980)

Calculator Programs for Pipe Stress Engineering /
door: Morgan, Kenneth Scott, author 171272
Gepubliceerd in: (1986)

Handheld calculator programs for engineering design /
door: 447863 Marter, Melvin L.
Gepubliceerd in: (1983)

Design of Computer Program for Calculating Crop
door: Huda H. Bader, et al.
Gepubliceerd in: (2013-05-01)

Design patterns as higher-order datatype-generic programs
door: Gibbons, J
Gepubliceerd in: (2006)

Towards a colimit-based semantics for visual programming
door: Gibbons, J
Gepubliceerd in: (2002)

Design Patterns as Higher−Order Datatype−Generic Programs
door: Gibbons, J
Gepubliceerd in: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
door: Gibbons, J
Gepubliceerd in: (2005)

Towards a Colimit−Based Semantics for Visual Programming
door: Gibbons, J
Gepubliceerd in: (2002)