Search Sciweavers | Sciweavers

9595 search results - page 232 / 1919

» Functional programming in C

151

click to vote

CAV
2010
Springer

214views Hardware» more CAV 2010»

Comfusy: A Tool for Complete Functional Synthesis

15 years 10 months ago

Download lara.epfl.ch

Synthesis of program fragments from speciﬁcations can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...

Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, P...

claim paper

Read More »

151

click to vote

CPHYSICS
2008

123views more CPHYSICS 2008»

wannier90: A tool for obtaining maximally-localised Wannier functions

15 years 6 months ago

Download www.physics.rutgers.edu

We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...

Arash A. Mostofi, Jonathan R. Yates, Young-Su Lee,...

claim paper

Read More »

216

click to vote

POPL
2004
ACM

86views Programming Languages» more POPL 2004»

Local reasoning about a copying garbage collector

16 years 6 months ago