{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:48:10Z","timestamp":1648666090332},"reference-count":32,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:00:00Z","timestamp":1226016000000},"content-version":"unspecified","delay-in-days":4878,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[1995,7]]},"abstract":"Abstract<\/jats:title>This paper presents an application of functional programming in the field of molecular biology: exploring the conformations of nucleic acids. TheNucleic Acid three-dimensional structure determination problem<\/jats:italic>(NA3D) and a constraint satisfaction algorithm are formally described. Prototyping and experimental development using the Miranda functional programming language, over the last four years, are discussed. A Prolog implementation has been developed to evaluate software engineering and performance criteria between functional and logic programming. A C++ implementation has been developed for distribution purpose and to solve large practical problems. This system, called MC-SYM for \u2018Macromolecular Conformation by SYMbolic generation\u2019, is used in more than 50 laboratories, including academic and government research centres and pharmaceutical companies.<\/jats:p>","DOI":"10.1017\/s0956796800001428","type":"journal-article","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T16:11:58Z","timestamp":1226074318000},"page":"443-460","source":"Crossref","is-referenced-by-count":1,"title":["Exploring the conformations of nucleic acids"],"prefix":"10.1017","volume":"5","author":[{"given":"Marcel","family":"Turcotte","sequence":"first","affiliation":[]},{"given":"Guy","family":"Lapalme","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Major","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2008,11,7]]},"reference":[{"key":"S0956796800001428_ref028","doi-asserted-by":"publisher","DOI":"10.1016\/0022-2836(78)90209-7"},{"key":"S0956796800001428_ref027","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/21.13.3011"},{"key":"S0956796800001428_ref020","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1017\/S0956796800020050","article-title":"Domain Generating Functions for Solving Constraint Satisfaction Problems","volume":"1","author":"Major","year":"1991","journal-title":"J. Funct. Prog."},{"key":"S0956796800001428_ref018","volume-title":"Molecular Biology and Biotechnology: a comprehensive desk reference","author":"Major","year":"1995"},{"key":"S0956796800001428_ref016","doi-asserted-by":"publisher","DOI":"10.1038\/nsb0594-293"},{"key":"S0956796800001428_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/0022-2836(78)90185-7"},{"key":"S0956796800001428_ref014","volume-title":"Constraint Satisfaction in Logic Programming.","author":"Hentenryck","year":"1989"},{"key":"S0956796800001428_ref011","doi-asserted-by":"publisher","DOI":"10.1096\/fasebj.7.1.7678567"},{"key":"S0956796800001428_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018696"},{"key":"S0956796800001428_ref032","doi-asserted-by":"publisher","DOI":"10.1021\/bi00365a022"},{"key":"S0956796800001428_ref007","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/22.18.3779"},{"key":"S0956796800001428_ref025","unstructured":"Quintus Prolog 3.1: Reference Pages (1991) Quintus, Palo Alto."},{"key":"S0956796800001428_ref002","doi-asserted-by":"publisher","DOI":"10.1111\/j.1432-1033.1977.tb11885.x"},{"key":"S0956796800001428_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/S0006-3495(92)81649-1"},{"key":"S0956796800001428_ref005","doi-asserted-by":"publisher","DOI":"10.1107\/S0108768186098233"},{"key":"S0956796800001428_ref026","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5190-3"},{"key":"S0956796800001428_ref013","unstructured":"Hartel P. , Feeley M. , Alt M. (1994) Pseudoknot: a float-intensive benchmark for functional compilers. Submitted."},{"key":"S0956796800001428_ref022","unstructured":"Miranda System Manual (1989) Research Software Limited, Canterbury, UK."},{"key":"S0956796800001428_ref004","doi-asserted-by":"publisher","DOI":"10.1021\/bi00339a012"},{"key":"S0956796800001428_ref012","doi-asserted-by":"publisher","DOI":"10.1096\/fasebj.7.1.7678565"},{"key":"S0956796800001428_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90003-X"},{"key":"S0956796800001428_ref010","doi-asserted-by":"publisher","DOI":"10.1145\/125490.125492"},{"key":"S0956796800001428_ref019","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.90.20.9408"},{"key":"S0956796800001428_ref021","doi-asserted-by":"publisher","DOI":"10.1126\/science.1716375"},{"key":"S0956796800001428_ref031","doi-asserted-by":"publisher","DOI":"10.1107\/S010876738700446X"},{"key":"S0956796800001428_ref006","unstructured":"Dincbas M. (1986) Constraints, logic programming and deductive databases. In: France-Japan Artificial Intelligence and Computer Science Symposium."},{"key":"S0956796800001428_ref003","volume-title":"Theory and Applications of Distance Geometry.","author":"Blumenthal","year":"1970"},{"key":"S0956796800001428_ref017","doi-asserted-by":"publisher","DOI":"10.1038\/224759a0"},{"key":"S0956796800001428_ref029","volume-title":"Proc. AAAI-86","author":"Van Hentenryck","year":"1986"},{"key":"S0956796800001428_ref009","unstructured":"Foucrault M. , Cedergren R. and Major F. (1995) Modeling the lead-activated ribozyme by intersection of conformational space. In preparation."},{"key":"S0956796800001428_ref023","first-page":"133","volume-title":"1990 Winter USENIX Conference","author":"Ousterhout","year":"1990"},{"key":"S0956796800001428_ref030","volume-title":"Molecular Biology of the Gene","volume":"I & II","author":"Watson","year":"1987"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796800001428","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,10]],"date-time":"2020-05-10T00:09:48Z","timestamp":1589069388000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796800001428\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["S0956796800001428"],"URL":"https:\/\/doi.org\/10.1017\/s0956796800001428","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}