{"id":"https://openalex.org/W1487685491","doi":"https://doi.org/10.1007/978-1-4302-2432-7_18","title":"Debugging and Testing F# Programs","display_name":"Debugging and Testing F# Programs","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1487685491","doi":"https://doi.org/10.1007/978-1-4302-2432-7_18","mag":"1487685491"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-4302-2432-7_18","doi":"https://doi.org/10.1007/978-1-4302-2432-7_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4302-2432-7_18","pdf_url":null,"source":{"id":"https://openalex.org/S4306462844","display_name":"Apress eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Expert F# 2.0","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W4248136085","display_name":"Expert F# 2.0"},"type":"book-chapter","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109030480","display_name":"Don Syme","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Don Syme","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068518454","display_name":"\u00c1d\u00e1m Gr\u00e1nicz","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adam Granicz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5019439932","display_name":"Antonio Cisternino","orcid":"https://orcid.org/0000-0001-5302-3335","observed_orcids":["https://orcid.org/0000-0001-5302-3335"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Antonio Cisternino","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"523","last_page":"543"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8417999744415283,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8417999744415283,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.1500999927520752,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.002899999963119626,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/f","display_name":"F#","score":0.9539999961853027},{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.8159999847412109},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.9049999713897705},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.9980000257492065},{"id":"https://openalex.org/keywords/compositional-programming","display_name":"compositional programming","score":0.7149999737739563},{"id":"https://openalex.org/keywords/adverse-effects","display_name":"adverse effects","score":0.9760000109672546}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9413221478462219},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7495529651641846},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6800808906555176},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5145711302757263},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.47317034006118774},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36432138085365295},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-1-4302-2432-7_18","doi":"https://doi.org/10.1007/978-1-4302-2432-7_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4302-2432-7_18","pdf_url":null,"source":{"id":"https://openalex.org/S4306462844","display_name":"Apress eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Expert F# 2.0","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2185545053","https://openalex.org/W2465018673","https://openalex.org/W172603500","https://openalex.org/W7101077005","https://openalex.org/W127952440","https://openalex.org/W1600253083","https://openalex.org/W2125450717","https://openalex.org/W2977191883","https://openalex.org/W2751194474","https://openalex.org/W29650034"],"abstract_inverted_index":{"Anecdotal":[0],"evidence":[1],"indicates":[2],"that":[3,57,72],"functional":[4,24,40],"programming":[5,41],"frequently":[6],"leads":[7],"to":[8,27,70,80,96],"a":[9,73],"substantially":[10,45],"reduced":[11],"bug":[12],"rate":[13],"for":[14],"good":[15],"programmers.":[16],"This":[17,112],"is":[18,75,114],"primarily":[19],"because":[20],"programs":[21,33,59],"built":[22],"using":[23],"techniques":[25,95],"tend":[26],"be":[28,120],"highly":[29],"compositional,":[30],"building":[31,37],"correct":[32,36],"out":[34],"of":[35,49,88],"blocks.":[38],"The":[39],"style":[42],"avoids":[43],"or":[44],"reduces":[46],"the":[47,53,110,117,123],"use":[48],"side":[50],"effects":[51],"in":[52],"program,":[54],"one":[55],"property":[56],"makes":[58],"more":[60],"compositional.":[61],"However,":[62],"debugging":[63],"and":[64,84,90,98,107,116],"testing":[65],"are":[66,86],"still":[67],"essential":[68],"activities":[69],"ensure":[71],"program":[74],"as":[76,78,122],"close":[77],"possible":[79],"its":[81],"specifications.":[82],"Bugs":[83],"misbehaviors":[85],"facts":[87],"life,":[89],"F#":[91],"programmers":[92],"must":[93],"learn":[94],"find":[97],"remove":[99],"them.":[100],"These":[101],"keywords":[102,118],"were":[103],"added":[104],"by":[105,109],"machine":[106],"not":[108],"authors.":[111],"process":[113],"experimental":[115],"may":[119],"updated":[121],"learning":[124],"algorithm":[125],"improves.":[126]},"counts_by_year":[],"updated_date":"2026-10-10T09:11:00.788812","created_date":"2016-06-24T00:00:00"}