![Type theory / Functional languages / Mathematical logic / FAUST / Eval / Mathematical proof / Nyquist–Shannon sampling theorem / Coq / Dependent type / Mathematics / Computing / Theoretical computer science Type theory / Functional languages / Mathematical logic / FAUST / Eval / Mathematical proof / Nyquist–Shannon sampling theorem / Coq / Dependent type / Mathematics / Computing / Theoretical computer science](https://www.pdfsearch.io/img/fd627d45c8ee1315650bb08bbac47081.jpg)
| Document Date: 2015-03-19 06:05:38 Open Document File Size: 577,07 KBShare Result on Facebook
City Kanazawa / Boston / Princeton / Berlin / / Company Computer Music / Let us / Programming Languages / / Country Japan / United States / / / Facility Mathematical Components library / PSL Research University / / IndustryTerm multiplication stream processors / individual signal processors / Signal processors / unary signal processor / audio processing systems / signal processing / formal tools / audio processing / software verification / primitive signal processors / signal processing contexts / audio applications / audio signal processing example / signal processor / software development environment / delay processor / stream processor / / Movie From now on / / NaturalFeature Audio Stream / / OperatingSystem Linux / / Organization PSL Research University / / Person Mohamed Lassaad Ammari / Swarat Chaudhuri / Eijiro Sumii / Pierre Castéran / Amy Felty / Stéphane Letz / Assia Mahboubi / Pierre Jouvelot / Shao / Stephane Letz / Enrico Tassi / Yann Orlarey / Codish / Xavier Leroy / Anis Souari / Sarah Denoux / Beringer / Georges Gonthier / Amjad Gawanmeh / Haisheng Wang / Sumit Gulwani / Functional / Dominique Fober / Maxime Dénès / Steve Zdancewic / Damiano Mazza / Yves Bertot / Vincent Siles / Aloïs Brunel / Bernd Dehning / Naghmeh Ghafari / Roberto Lublinerman / Marco Gaboardi / Sofiène Tahar / Jeff Joyce / Ramana Kumar / Anders Mörtberg / Christos Zamantzas / Arnaud Spiwack / References Karim Barkati / Olivier Hermant / / Position Hb / editor / regular interpreter / Proof General / interpreter / tackle / Coq1 proof assistant / Coq proof assistant / interactive proof editor / programmer / / Product Faust / / ProgrammingLanguage C / C++ / / PublishedMedium Communications of the ACM / Computer Music / Lecture Notes in Computer Science / / Technology functional programming / delay processor / Linux / unary signal processor / specified algorithms / primitive signal processors / multiplication stream processors / signal processor / individual signal processors / In particular two signal processors / stream processor / Semantics Signal processors / DSP / / URL http /
SocialTag |