Synthesis of Functions Using Generic Programming

15 years 19 days ago

Download www.st.cs.ru.nl

Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an input

Pieter W. M. Koopman, Rinus Plasmeijer

Real-time Traffic

AAIP 2009 | Flexible Way | General Recursive | Programming Languages | Simple Input-output Pairs |

claim paper

» Good advice for typedirected programming aspectoriented programming and extensible generic...

» Software synthesis from synchronous specifications using logic simulation techniques

» Generic proofs for combinatorbased generic programs

» Generic Haskell Applications

» Comfusy A Tool for Complete Functional Synthesis

» Complete Functional Synthesis

» A Generic Programming Extension for Clean

» Prototyping Generic Programming in Template Haskell

Post Info
More Details (n/a)

Added	16 Feb 2011
Updated	16 Feb 2011
Type	Journal
Year	2009
Where	AAIP
Authors	Pieter W. M. Koopman, Rinus Plasmeijer

Comments (0)

Sciweavers

Synthesis of Functions Using Generic Programming

AAIP 2009 | Flexible Way | General Recursive | Programming Languages | Simple Input-output Pairs |

Explore & Download

Productivity Tools

Sciweavers