{"id":"https://openalex.org/W2181544444","doi":"https://doi.org/10.14569/ijacsa.2015.060409","title":"Automatic Construction of Java Programs from Functional Program Specifications","display_name":"Automatic Construction of Java Programs from Functional Program Specifications","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2181544444","doi":"https://doi.org/10.14569/ijacsa.2015.060409","mag":"2181544444"},"language":"en","primary_location":{"id":"doi:10.14569/ijacsa.2015.060409","doi":"https://doi.org/10.14569/ijacsa.2015.060409","is_oa":true,"landing_page_url":"https://doi.org/10.14569/ijacsa.2015.060409","pdf_url":"http://thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf","source":{"id":"https://openalex.org/S23629721","display_name":"International Journal of Advanced Computer Science and Applications","issn_l":"2156-5570","issn":["2156-5570","2158-107X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","norway-1","poland-20","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310311819","host_organization_name":"Science and Information Organization","host_organization_lineage":["https://openalex.org/P4310311819"],"host_organization_lineage_names":["Science and Information Organization"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Advanced Computer Science and Applications","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"http://thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5096956003","display_name":"Md. Humayun","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I46080048","display_name":"Jahangirnagar University","ror":"https://ror.org/04ywb0864","country_code":"BD","type":"education","lineage":["https://openalex.org/I46080048"]}],"countries":["BD"],"is_corresponding":true,"raw_author_name":"Md. Humayun","raw_affiliation_strings":["Dept. of Computer Science and Engineering Jahangirnagar University Savar, Dhaka-1342, Bangladesh"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Engineering Jahangirnagar University Savar, Dhaka-1342, Bangladesh","institution_ids":["https://openalex.org/I46080048"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5096956003"],"corresponding_institution_ids":["https://openalex.org/I46080048"],"apc_list":null,"apc_paid":null,"fwci":2.0455,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.86323199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"6","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.00019999999494757503,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/program-synthesis","display_name":"program synthesis","score":0.7670000195503235},{"id":"https://openalex.org/keywords/java-programs","display_name":"Java programs","score":0.7749999761581421},{"id":"https://openalex.org/keywords/functional-specification","display_name":"functional specification","score":0.8109999895095825},{"id":"https://openalex.org/keywords/constructive-proof","display_name":"constructive proof","score":0.8889999985694885},{"id":"https://openalex.org/keywords/inductive-theorem-proving","display_name":"inductive theorem proving","score":0.8209999799728394},{"id":"https://openalex.org/keywords/higher-order-programs","display_name":"higher-order programs","score":0.8529999852180481},{"id":"https://openalex.org/keywords/mapping-rules","display_name":"mapping rules","score":0.5950000286102295},{"id":"https://openalex.org/keywords/natural-numbers","display_name":"natural numbers","score":0.6589999794960022},{"id":"https://openalex.org/keywords/program-correctness","display_name":"program correctness","score":0.46299999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.875769853591919},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.865676760673523},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.857831597328186},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.8442312479019165},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.7951139211654663},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.7752166986465454},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.7074775099754333},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6937613487243652},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.6349642872810364},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.6045530438423157},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.4944577217102051},{"id":"https://openalex.org/C15524039","wikidata":"https://www.wikidata.org/wiki/Q865817","display_name":"Java applet","level":3,"score":0.4927068054676056},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3447449803352356}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.14569/ijacsa.2015.060409","doi":"https://doi.org/10.14569/ijacsa.2015.060409","is_oa":true,"landing_page_url":"https://doi.org/10.14569/ijacsa.2015.060409","pdf_url":"http://thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf","source":{"id":"https://openalex.org/S23629721","display_name":"International Journal of Advanced Computer Science and Applications","issn_l":"2156-5570","issn":["2156-5570","2158-107X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","norway-1","poland-20","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310311819","host_organization_name":"Science and Information Organization","host_organization_lineage":["https://openalex.org/P4310311819"],"host_organization_lineage_names":["Science and Information Organization"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Advanced Computer Science and Applications","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.695.8285","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.695.8285","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf","raw_type":"text"},{"id":"doi:10.60692/9kxwq-g2619","doi":"https://doi.org/10.60692/9kxwq-g2619","is_oa":true,"landing_page_url":"https://doi.org/10.60692/9kxwq-g2619","pdf_url":null,"source":{"id":"https://openalex.org/S7407051682","display_name":"Greater South Information System","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.60692/dgwfz-gv860","doi":"https://doi.org/10.60692/dgwfz-gv860","is_oa":true,"landing_page_url":"https://doi.org/10.60692/dgwfz-gv860","pdf_url":null,"source":{"id":"https://openalex.org/S7407051682","display_name":"Greater South Information System","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.14569/ijacsa.2015.060409","doi":"https://doi.org/10.14569/ijacsa.2015.060409","is_oa":true,"landing_page_url":"https://doi.org/10.14569/ijacsa.2015.060409","pdf_url":"http://thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf","source":{"id":"https://openalex.org/S23629721","display_name":"International Journal of Advanced Computer Science and Applications","issn_l":"2156-5570","issn":["2156-5570","2158-107X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","norway-1","poland-20","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310311819","host_organization_name":"Science and Information Organization","host_organization_lineage":["https://openalex.org/P4310311819"],"host_organization_lineage_names":["Science and Information Organization"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Advanced Computer Science and Applications","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2181544444.pdf","grobid_xml":"https://content.openalex.org/works/W2181544444.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W154684055","https://openalex.org/W2006815135","https://openalex.org/W2010401819","https://openalex.org/W2051183640","https://openalex.org/W2077511402","https://openalex.org/W2101188827","https://openalex.org/W2168951609","https://openalex.org/W2289580062","https://openalex.org/W2541370359","https://openalex.org/W4251841626"],"related_works":["https://openalex.org/W2109788087","https://openalex.org/W2908962945","https://openalex.org/W7099004984","https://openalex.org/W614523396","https://openalex.org/W640320175","https://openalex.org/W2043937769","https://openalex.org/W127491551","https://openalex.org/W2281277186","https://openalex.org/W7100013812","https://openalex.org/W2405435354"],"abstract_inverted_index":{"This":[0,132],"paper":[1],"presents":[2],"a":[3,38,57,78,110,122,127,138,144,151,157],"novel":[4],"approach":[5],"to":[6,55,90,125,183],"construct":[7,56],"Java":[8,39,94,104,111,119,130,133,141,152,167,176],"programs":[9],"automatically":[10],"from":[11,20,41,63],"the":[12,21,25,42,64,107,114,174,184,190],"input":[13,26,43,65,185],"functional":[14,44,60,88,98,171],"program":[15,40,45,62,99,172,177],"specifications":[16,27],"on":[17],"natural":[18],"numbers":[19],"constructive":[22],"proofs":[23],"of":[24,37,74,109,156],"using":[28,113],"an":[29,69,165],"inductive":[30],"theorem":[31,51],"prover":[32,52],"called":[33],"Poiti'n.":[34],"The":[35,50,96,117,169],"construction":[36],"specification":[46,66,186],"involves":[47],"two":[48],"phases.":[49],"is":[53,84,100,135,148],"used":[54],"higher":[58],"order":[59],"(HOF)":[61],"expressed":[67],"as":[68,143,187],"existential":[70],"theorem.":[71],"A":[72],"set":[73],"mapping":[75],"rules":[76],"for":[77,86],"Programming":[79],"Language":[80],"Translation":[81],"System":[82],"(PLTS)":[83],"defined":[85,140],"translating":[87],"expressions":[89],"their":[91],"semantic":[92],"equivalent":[93],"code.":[95],"generated":[97,118,175],"translated":[101],"into":[102],"intermediate":[103],"code":[105],"in":[106,164],"form":[108],"function":[112,120,134,159],"PLTS":[115],"module.":[116],"requires":[121],"small":[123],"refinement":[124],"obtain":[126],"syntactically":[128],"correct":[129,180],"function.":[131],"encapsulated":[136],"within":[137,150],"user":[139],"class":[142,154],"member":[145],"operation,":[146],"which":[147],"invoked":[149],"application":[153],"consisting":[155],"main":[158],"by":[160],"creating":[161],"objects":[162],"resulting":[163],"executable":[166],"program.":[168],"constructed":[170],"and":[173],"both":[178],"are":[179],"with":[181],"respect":[182],"they":[188],"produce":[189],"same":[191],"output.":[192]},"counts_by_year":[{"year":2016,"cited_by_count":3}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}