Calculating Functional Programs

Calculating Functional Programs

Show other versions (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...

书目详细资料
主要作者:	Gibbons, J
格式:	Conference item
出版:	School of Computing and Mathematical Sciences‚ Oxford Brookes University 1997

相似书籍

Calculating Functional Programs
由: Gibbons, J
出版: (2002)

Calculating functional programs
由: Gibbons, J
出版: (2002)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
由: Gibbons, J
出版: (1999)

Functional Programming for Domain−Specific Languages
由: Gibbons, J
出版: (2013)

Programming programmable calculators /
由: 421597 Engelsohn, Harold S.
出版: (1978)

On Programming and Spreadsheet Calculations
由: Gabriela Lovászová, et al.
出版: (2004-01-01)

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

Origami Programming
由: Gibbons, J
出版: (2003)

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

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

Algebraic Identities for Program Calculation
由: Bird, R
出版: (1989)

Calculator programs for chemical engineers/
由: Cavaseno, Vincent
出版: (1982)

Programming for an automatic digital calculator /
由: 208024 Booth, Kathleen H. V.
出版: (1958)

Calculator programming chemistry and the sciences /
由: 366277 Clarke, Frank H.
出版: (1981)

Scantling calculations program [disket] /
由: 172390 Roslin Ramli
出版: (1988)

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

PROGRAMS OF AES EPHEMERIDES CALCULATION
由: S. Ja. Kolesnik, et al.
出版: (2017-08-01)

Structured programming in Java
由: Gibbons, J
出版: (1998)

Fission for Program Comprehension
由: Gibbons, J
出版: (2006)

Structured Programming in Java
由: Gibbons, J
出版: (1998)

Fission for program comprehension
由: Gibbons, J
出版: (2006)

Datatype-generic programming
由: Gibbons, J
出版: (2007)

Datatype−Generic Programming
由: Gibbons, J
出版: (2007)

APLicative programming with Naperian functors
由: Gibbons, J
出版: (2017)

Unifying Theories of Programming with Monads
由: Gibbons, J
出版: (2012)

How to design co-programs
由: Gibbons, J
出版: (2021)

Patterns in Datatype−Generic Programming
由: Gibbons, J
出版: (2003)

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

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

Programming with ornaments
由: Ko, H, et al.
出版: (2016)

How to program your programmable calculator /
由: 235916 Snover, Stephen I., et al.
出版: (1979)

Calculator programs for the hydrocarbon processing industries/
由: 413996 Jagannath, S.
出版: (1980)

Calculator Programs for Pipe Stress Engineering /
由: Morgan, Kenneth Scott, author 171272
出版: (1986)

Handheld calculator programs for engineering design /
由: 447863 Marter, Melvin L.
出版: (1983)

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

Design patterns as higher-order datatype-generic programs
由: Gibbons, J
出版: (2006)

Towards a colimit-based semantics for visual programming
由: Gibbons, J
出版: (2002)

Design Patterns as Higher−Order Datatype−Generic Programs
由: Gibbons, J
出版: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
由: Gibbons, J
出版: (2005)

Towards a Colimit−Based Semantics for Visual Programming
由: Gibbons, J
出版: (2002)