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)