Search results

Page title matches

• Equational reasoning examples
  ===Equational reasoning=== ...ages often claimed for pure functional languages is the ease of equational reasoning, enabled by [[referential transparency]] and being able to replace equals b
  6 KB (833 words) - 00:02, 6 November 2021
• Haskell Equational Reasoning Assistant
  ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc
  4 KB (633 words) - 06:14, 8 June 2023

Page text matches

• HaskellEquationalReasoningAssistant
  #redirect [[Haskell Equational Reasoning Assistant]]
  87 bytes (10 words) - 06:13, 8 June 2023
• Hera
  #REDIRECT[[Haskell Equational Reasoning Assistant]]
  86 bytes (10 words) - 06:24, 8 June 2023
• Equational reasoning examples
  ===Equational reasoning=== ...ages often claimed for pure functional languages is the ease of equational reasoning, enabled by [[referential transparency]] and being able to replace equals b
  6 KB (833 words) - 00:02, 6 November 2021
• Unsafe functions
  * [https://okmij.org/ftp/Haskell/index.html#lazyIO-not-True equational reasoning] (<code>unsafeInterleaveIO</code>),
  1 KB (206 words) - 12:27, 8 June 2023
• Blog articles/Testing
  ...chell.blogspot.com/2007/07/equational-reasoning-in-haskell.html Equational Reasoning in Haskell]
  3 KB (362 words) - 18:49, 20 May 2013
• HaskellSymposium/2012
  ...sites/default/files/HERMIT-Submitted.pdf Introducing the HERMIT Equational Reasoning Framework]<br>
  2 KB (349 words) - 13:42, 17 December 2012
• Haskell Equational Reasoning Assistant
  ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc
  4 KB (633 words) - 06:14, 8 June 2023
• Applications and libraries/Theorem provers
  Tools for formal reasoning, written in Haskell. ...matel is a prover based on many-sorted term rewriting (TRW) and equational reasoning
  6 KB (926 words) - 12:12, 16 January 2022
• Free structure
  ...ctures, we have sets equipped with operations that are expected to satisfy equational laws. ...old for the generated structure are those that are required to hold by the equational laws for structures of that type.
  13 KB (2,245 words) - 15:18, 6 February 2021
• Haskell in practice
  ...alworld/era.html Equational Reasoning Assistant] (see [[Haskell Equational Reasoning Assistant]]), <dt>[http://www.haskell.org/dumatel Dumatel], a prover based on equational reasoning
  14 KB (2,263 words) - 06:31, 10 August 2022
• AtomicMemoryOps
  ...ncy, and both Haskell programmers and the GHC compiler exercise equational reasoning that requires replacing terms with equal terms, using a notion of equality
  5 KB (865 words) - 18:26, 21 November 2013
• Applications and libraries/Program development
  ;[[Haskell Equational Reasoning Assistant]] ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc
  19 KB (2,935 words) - 13:50, 22 August 2022
• Functional programming/Alternative 1
  ...[referential transparency]]''' and makes possible to conduct '''equational reasoning''' on the code. For instance if <hask>y = f x</hask> and <hask>g = h y y</h
  7 KB (1,116 words) - 13:17, 1 October 2021
• Functional programming
  ...ed [[referential transparency]] and makes possible to conduct ''equational reasoning'' on the code. For instance if <hask>y = f x</hask> and <hask>g = h y y</ha
  9 KB (1,323 words) - 22:19, 10 May 2024
• Es/Librerias y Herramientas/Desarrollo de programas
  ;[[Haskell Equational Reasoning Assistant]] ...diseño como la implementación. Esta página introduce el Haskell Equational Reasoning Assistant (HERA), o Asistente de Razonamiento Ecuacional para Haskell, una
  23 KB (3,794 words) - 02:27, 26 March 2008
• Template Haskell
  ...Equational Reasoning Assistant]], as well as simplify the specification of equational relationships between pieces of code. There was a quicktime movie of the to
  30 KB (4,551 words) - 00:29, 15 June 2023
• News/2005
  equational reasoning.
  27 KB (3,675 words) - 12:12, 13 January 2007
• Shootout/Regex DNA
  -- The definition used below can be obtained by equational reasoning from this -- The definition used below can be obtained by equational reasoning from this
  133 KB (20,540 words) - 08:31, 13 December 2009
• The I/O problem
  of reasoning is lost (we still know that each function is dependent only upon ...ly restricts the ability to use [[Equational reasoning examples|equational reasoning]].
  61 KB (9,234 words) - 04:14, 5 April 2024
• Books
  ...ls. From core elements like types, Venn diagrams and logic, to patterns of reasoning, sequent calculus, recursion and algebraic data types, the book spans the b ...derlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them mor
  53 KB (7,703 words) - 13:28, 28 March 2024

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)