Calculating Functional Programs

Calculating Functional Programs

Показать другие версии (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á, и др.
Опубликовано: (2004-01-01)

On Programming and Spreadsheet Calculations
по: Gabriela Lovászová, и др.
Опубликовано: (2003-07-01)

Origami Programming
по: Gibbons, J
Опубликовано: (2003)

Bridging the algorithm gap: A linear-time functional program for paragraph formatting
по: de Moor, O, и др.
Опубликовано: (1999)

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting
по: de Moor, O, и др.
Опубликовано: (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, и др.
Опубликовано: (2004-02-01)

PROGRAMS OF AES EPHEMERIDES CALCULATION
по: S. Ja. Kolesnik, и др.
Опубликовано: (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, и др.
Опубликовано: (2010)

EPW: A program for calculating the electron-phonon coupling using maximally localized Wannier functions
по: Noffsinger, J, и др.
Опубликовано: (2010)

Programming with ornaments
по: Ko, H, и др.
Опубликовано: (2016)

How to program your programmable calculator /
по: 235916 Snover, Stephen I., и др.
Опубликовано: (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, и др.
Опубликовано: (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)