{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:13:45Z","timestamp":1746245625579,"version":"3.40.4"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319071503"},{"type":"electronic","value":"9783319071510"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07151-0_5","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T03:30:14Z","timestamp":1400729414000},"page":"69-85","source":"Crossref","is-referenced-by-count":1,"title":["Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing"],"prefix":"10.1007","author":[{"given":"Karim","family":"Barkati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haisheng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Jouvelot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-25379-9_12","volume-title":"Certified Programs and Proofs","author":"M. Armand","year":"2011","unstructured":"Armand, M., Faure, G., Gr\u00e9goire, B., Keller, C., Th\u00e9ry, L., Werner, B.: A modular integration of SAT\/SMT solvers to Coq through proof witnesses. In: Jouannaud, J.-P., Shao, Z. (eds.) CPP 2011. LNCS, vol.\u00a07086, pp. 135\u2013150. Springer, Heidelberg (2011)"},{"issue":"10","key":"5_CR2","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/1562764.1562783","volume":"52","author":"K. Asanovic","year":"2009","unstructured":"Asanovic, K., Bodik, R., Demmel, J., Keaveny, T., Keutzer, K., Kubiatowicz, J., Morgan, N., Patterson, D., Sen, K., Wawrzynek, J., Wessel, D., Yelick, K.: A view of the parallel computing landscape. Commun. ACM\u00a052(10), 56\u201367 (2009)","journal-title":"Commun. ACM"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Barkati, K., Jouvelot, P.: Synchronous programming in audio processing: A lookup table oscillator case study. ACM Computing Surveys\u00a046(2) (2014)","DOI":"10.1145\/2543581.2543591"},{"key":"5_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-02959-2_12","volume-title":"Automated Deduction \u2013 CADE-22","author":"T. Bouton","year":"2009","unstructured":"Bouton, T., de Oliveira, D.C.B., D\u00e9harbe, D., Fontaine, P.: veriT: An open, trustable and efficient SMT-solver. In: Schmidt, R.A. (ed.) CADE-22. LNCS, vol.\u00a05663, pp. 151\u2013156. Springer, Heidelberg (2009)"},{"key":"5_CR5","unstructured":"Brunthaler, S.: Why interpreters matter (at least for high level programming languages) (2012), http:\/\/www.ics.uci.edu\/~sbruntha\/why-interpreters-matter.html"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/1596550.1596591","volume-title":"Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009","author":"P. Cuoq","year":"2009","unstructured":"Cuoq, P., Signoles, J., Baudin, P., Bonichon, R., Canet, G., Correnson, L., Monate, B., Prevosto, V., Puccetti, A.: Experience report: Ocaml for an industrial-strength static analysis framework. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, pp. 281\u2013286. ACM, New York (2009)"},{"key":"5_CR7","first-page":"533","volume-title":"Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012","author":"C. Ellison","year":"2012","unstructured":"Ellison, C., Rosu, G.: An executable formal semantics of C with applications. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, pp. 533\u2013544. ACM, New York (2012)"},{"key":"5_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/11691372_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P. Fontaine","year":"2006","unstructured":"Fontaine, P., Marion, J.-Y., Merz, S., Nieto, L.P., Tiu, A.F.: Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 167\u2013181. Springer, Heidelberg (2006)"},{"key":"5_CR9","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education (1994)"},{"key":"5_CR10","unstructured":"Ghosh, D.: DSLs in Action, 1st edn. Manning Publications Co., Greenwich (2010)"},{"key":"5_CR11","first-page":"73","volume":"25","author":"A.D. Gordon","year":"2010","unstructured":"Gordon, A.D., Fournet, C.: Principles and applications of refinement types. Logics and Languages for Reliability and Security\u00a025, 73\u2013104 (2010)","journal-title":"Logics and Languages for Reliability and Security"},{"key":"5_CR12","unstructured":"Guillou, P.: Portage et optimisation d\u2019applications de traitement d\u2019images sur architecture many-core. Technical report, Centre de recherche en informatique, MINES ParisTech (2013)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Herrmann, C.A., Langhammer, T.: Combining partial evaluation and staged interpretation in the implementation of domain-specific languages. Science of Computer Programming\u00a062(1), 47\u201365 (2006), Special Issue on the First MetaOCaml Workshop 2004","DOI":"10.1016\/j.scico.2006.02.002"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Hsieh, J.-W., Yu, S.-H., Chen, Y.-S.: Morphology-based license plate detection from complex scenes. In: Proceedings of the 16th International Conference on Pattern Recognition, vol.\u00a03, pp. 176\u2013179. IEEE (2002)","DOI":"10.1109\/ICPR.2002.1047823"},{"issue":"4es","key":"5_CR15","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/242224.242477","volume":"28","author":"P. Hudak","year":"1996","unstructured":"Hudak, P.: Building domain-specific embedded languages. ACM Computing Surveys\u00a028(4es), 196 (1996)","journal-title":"ACM Computing Surveys"},{"key":"5_CR16","unstructured":"Jouvelot, P.: ML: Un langage de maquettage? In: AFCET Workshop on New Languages for Software Engineering, Evry (1985)"},{"key":"5_CR17","first-page":"113","volume":"37","author":"P. Jouvelot","year":"2011","unstructured":"Jouvelot, P., Orlarey, Y.: Dependent vector types for data structuring in multirate Faust. Comput. Lang. Syst. Struct.\u00a037, 113\u2013131 (2011)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"5_CR18","unstructured":"Leroy, X., Doligez, D., Frisch, A., Garrigue, J., R\u00e9my, D., Vouillon, J.: The OCaml system (1998)"},{"issue":"3-4","key":"5_CR19","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1023\/A:1021975117537","volume":"29","author":"Q.H. Nguyen","year":"2002","unstructured":"Nguyen, Q.H., Kirchner, C., Kirchner, H.: External rewriting for skeptical proof assistants. Journal of Automated Reasoning\u00a029(3-4), 309\u2013336 (2002)","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR20","unstructured":"Orlarey, Y., Fober, D., Letz, S.: An algebra for block diagram languages. In: Proceedings of International Computer Music Conference, pp. 542\u2013547 (2002)"},{"key":"5_CR21","unstructured":"Orlarey, Y., Fober, D., Letz, S.: Faust: an efficient functional approach to DSP programming. In: New Computational Paradigms for Computer Music (2009)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Ortiz, A.: Language design and implementation using Ruby and the interpreter. In: ACM SIGCSE Bulletin, vol.\u00a040, pp. 48\u201352. ACM (2008)","DOI":"10.1145\/1352322.1352155"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45699-6_9","volume-title":"Applied Semantics","author":"D. R\u00e9my","year":"2002","unstructured":"R\u00e9my, D.: Using, understanding, and unraveling the OCaml language from practice to theory and vice versa. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 413\u2013536. Springer, Heidelberg (2002)"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/1375581.1375602","volume-title":"Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2008","author":"P.M. Rondon","year":"2008","unstructured":"Rondon, P.M., Kawaguci, M., Jhala, R.: Liquid types. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2008, pp. 159\u2013169. ACM, New York (2008)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Serra, J., Soille, P. (eds.): Mathematical morphology and its applications to image processing. Computational Imaging and Vision. Kluwer Academic Publishers (1994)","DOI":"10.1007\/978-94-011-1040-2"},{"key":"5_CR26","unstructured":"Steele, G.L., Sussman, G.J.: The art of the interpreter or, the modularity complex (parts zero, one, and two). Technical report, Cambridge, MA, USA (1978)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07151-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:33:09Z","timestamp":1746232389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07151-0_5"}},"subtitle":["System Description"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319071503","9783319071510"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}