Calculating Functional Programs

Calculating Functional Programs

Čájet eará veršuvnnaid (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...

Bibliográfalaš dieđut
Váldodahkki:	Gibbons, J
Materiálatiipa:	Conference item
Almmustuhtton:	School of Computing and Mathematical Sciences‚ Oxford Brookes University 1997

Geahča maid

Calculating Functional Programs
Dahkki: Gibbons, J
Almmustuhtton: (2002)

Calculating functional programs
Dahkki: Gibbons, J
Almmustuhtton: (2002)

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

Functional Programming for Domain−Specific Languages
Dahkki: Gibbons, J
Almmustuhtton: (2013)

Programming programmable calculators /
Dahkki: 421597 Engelsohn, Harold S.
Almmustuhtton: (1978)

On Programming and Spreadsheet Calculations
Dahkki: Gabriela Lovászová, et al.
Almmustuhtton: (2004-01-01)

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

Origami Programming
Dahkki: Gibbons, J
Almmustuhtton: (2003)

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

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

Algebraic Identities for Program Calculation
Dahkki: Bird, R
Almmustuhtton: (1989)

Calculator programs for chemical engineers/
Dahkki: Cavaseno, Vincent
Almmustuhtton: (1982)

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

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

Scantling calculations program [disket] /
Dahkki: 172390 Roslin Ramli
Almmustuhtton: (1988)

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

PROGRAMS OF AES EPHEMERIDES CALCULATION
Dahkki: S. Ja. Kolesnik, et al.
Almmustuhtton: (2017-08-01)

Structured programming in Java
Dahkki: Gibbons, J
Almmustuhtton: (1998)

Fission for Program Comprehension
Dahkki: Gibbons, J
Almmustuhtton: (2006)

Structured Programming in Java
Dahkki: Gibbons, J
Almmustuhtton: (1998)

Fission for program comprehension
Dahkki: Gibbons, J
Almmustuhtton: (2006)

Datatype-generic programming
Dahkki: Gibbons, J
Almmustuhtton: (2007)

Datatype−Generic Programming
Dahkki: Gibbons, J
Almmustuhtton: (2007)

APLicative programming with Naperian functors
Dahkki: Gibbons, J
Almmustuhtton: (2017)

Unifying Theories of Programming with Monads
Dahkki: Gibbons, J
Almmustuhtton: (2012)

How to design co-programs
Dahkki: Gibbons, J
Almmustuhtton: (2021)

Patterns in Datatype−Generic Programming
Dahkki: Gibbons, J
Almmustuhtton: (2003)

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

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

Programming with ornaments
Dahkki: Ko, H, et al.
Almmustuhtton: (2016)

How to program your programmable calculator /
Dahkki: 235916 Snover, Stephen I., et al.
Almmustuhtton: (1979)

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

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

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

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

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

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

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

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

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