Calculating Functional Programs

Calculating Functional Programs

Hiển thị phiên bản (2) khác

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

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Gibbons, J
Định dạng:	Conference item
Được phát hành:	School of Computing and Mathematical Sciences‚ Oxford Brookes University 1997

Những quyển sách tương tự

Calculating Functional Programs
Bằng: Gibbons, J
Được phát hành: (2002)

Calculating functional programs
Bằng: Gibbons, J
Được phát hành: (2002)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
Bằng: Gibbons, J
Được phát hành: (1999)

Functional Programming for Domain−Specific Languages
Bằng: Gibbons, J
Được phát hành: (2013)

Programming programmable calculators /
Bằng: 421597 Engelsohn, Harold S.
Được phát hành: (1978)

On Programming and Spreadsheet Calculations
Bằng: Gabriela Lovászová, et al.
Được phát hành: (2004-01-01)

On Programming and Spreadsheet Calculations
Bằng: Gabriela Lovászová, et al.
Được phát hành: (2003-07-01)

Origami Programming
Bằng: Gibbons, J
Được phát hành: (2003)

Bridging the algorithm gap: A linear-time functional program for paragraph formatting
Bằng: de Moor, O, et al.
Được phát hành: (1999)

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting
Bằng: de Moor, O, et al.
Được phát hành: (1999)

Algebraic Identities for Program Calculation
Bằng: Bird, R
Được phát hành: (1989)

Calculator programs for chemical engineers/
Bằng: Cavaseno, Vincent
Được phát hành: (1982)

Programming for an automatic digital calculator /
Bằng: 208024 Booth, Kathleen H. V.
Được phát hành: (1958)

Calculator programming chemistry and the sciences /
Bằng: 366277 Clarke, Frank H.
Được phát hành: (1981)

Scantling calculations program [disket] /
Bằng: 172390 Roslin Ramli
Được phát hành: (1988)

NEW PROGRAM OF THE BURDEN CALCULATION
Bằng: L. Z. Pisarenko, et al.
Được phát hành: (2004-02-01)

PROGRAMS OF AES EPHEMERIDES CALCULATION
Bằng: S. Ja. Kolesnik, et al.
Được phát hành: (2017-08-01)

Structured programming in Java
Bằng: Gibbons, J
Được phát hành: (1998)

Fission for Program Comprehension
Bằng: Gibbons, J
Được phát hành: (2006)

Structured Programming in Java
Bằng: Gibbons, J
Được phát hành: (1998)

Fission for program comprehension
Bằng: Gibbons, J
Được phát hành: (2006)

Datatype-generic programming
Bằng: Gibbons, J
Được phát hành: (2007)

Datatype−Generic Programming
Bằng: Gibbons, J
Được phát hành: (2007)

APLicative programming with Naperian functors
Bằng: Gibbons, J
Được phát hành: (2017)

Unifying Theories of Programming with Monads
Bằng: Gibbons, J
Được phát hành: (2012)

How to design co-programs
Bằng: Gibbons, J
Được phát hành: (2021)

Patterns in Datatype−Generic Programming
Bằng: Gibbons, J
Được phát hành: (2003)

EPW: A program for calculating the electron-phonon coupling using maximally localized Wannier functions
Bằng: Noffsinger, J, et al.
Được phát hành: (2010)

EPW: A program for calculating the electron-phonon coupling using maximally localized Wannier functions
Bằng: Noffsinger, J, et al.
Được phát hành: (2010)

Programming with ornaments
Bằng: Ko, H, et al.
Được phát hành: (2016)

How to program your programmable calculator /
Bằng: 235916 Snover, Stephen I., et al.
Được phát hành: (1979)

Calculator programs for the hydrocarbon processing industries/
Bằng: 413996 Jagannath, S.
Được phát hành: (1980)

Calculator Programs for Pipe Stress Engineering /
Bằng: Morgan, Kenneth Scott, author 171272
Được phát hành: (1986)

Handheld calculator programs for engineering design /
Bằng: 447863 Marter, Melvin L.
Được phát hành: (1983)

Design of Computer Program for Calculating Crop
Bằng: Huda H. Bader, et al.
Được phát hành: (2013-05-01)

Design patterns as higher-order datatype-generic programs
Bằng: Gibbons, J
Được phát hành: (2006)

Towards a colimit-based semantics for visual programming
Bằng: Gibbons, J
Được phát hành: (2002)

Design Patterns as Higher−Order Datatype−Generic Programs
Bằng: Gibbons, J
Được phát hành: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
Bằng: Gibbons, J
Được phát hành: (2005)

Towards a Colimit−Based Semantics for Visual Programming
Bằng: Gibbons, J
Được phát hành: (2002)