{"id":"https://openalex.org/W2002207355","doi":"https://doi.org/10.1145/1273920.1273942","title":"Putting declarative programming into the web","display_name":"Putting declarative programming into the web","publication_year":2007,"publication_date":"2007-07-14","ids":{"openalex":"https://openalex.org/W2002207355","doi":"https://doi.org/10.1145/1273920.1273942","mag":"2002207355"},"language":"en","primary_location":{"id":"doi:10.1145/1273920.1273942","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273920.1273942","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"conference-paper","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/A5024421847","display_name":"Michael Hanus","orcid":"https://orcid.org/0000-0002-4953-8202"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael Hanus","raw_affiliation_strings":["Institut f\u0160r Informatik"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u0160r Informatik","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5024421847"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2257,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.89171418,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"155","last_page":"166"},"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.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9944000244140625,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9861000180244446,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.8780297040939331},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7642096877098083},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.6710498929023743},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.592872142791748},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.5724725723266602},{"id":"https://openalex.org/keywords/event-driven-programming","display_name":"Event-driven programming","score":0.5342767834663391},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.491733580827713},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.46401509642601013},{"id":"https://openalex.org/keywords/client-side-scripting","display_name":"Client-side scripting","score":0.4555247724056244},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.4341813027858734},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3166661560535431},{"id":"https://openalex.org/keywords/web-api","display_name":"Web API","score":0.2982989251613617},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.28682035207748413},{"id":"https://openalex.org/keywords/web-modeling","display_name":"Web modeling","score":0.2791774868965149},{"id":"https://openalex.org/keywords/procedural-programming","display_name":"Procedural programming","score":0.26806366443634033},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.2676815986633301},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.2267695963382721}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8780297040939331},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7642096877098083},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.6710498929023743},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.592872142791748},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.5724725723266602},{"id":"https://openalex.org/C77362995","wikidata":"https://www.wikidata.org/wiki/Q1135914","display_name":"Event-driven programming","level":5,"score":0.5342767834663391},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.491733580827713},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.46401509642601013},{"id":"https://openalex.org/C195274430","wikidata":"https://www.wikidata.org/wiki/Q1650567","display_name":"Client-side scripting","level":5,"score":0.4555247724056244},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.4341813027858734},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3166661560535431},{"id":"https://openalex.org/C127613066","wikidata":"https://www.wikidata.org/wiki/Q557770","display_name":"Web API","level":4,"score":0.2982989251613617},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.28682035207748413},{"id":"https://openalex.org/C130436687","wikidata":"https://www.wikidata.org/wiki/Q7978591","display_name":"Web modeling","level":3,"score":0.2791774868965149},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.26806366443634033},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2676815986633301},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.2267695963382721}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1273920.1273942","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273920.1273942","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W66285964","https://openalex.org/W91193428","https://openalex.org/W98425039","https://openalex.org/W1486941949","https://openalex.org/W1494460511","https://openalex.org/W1508922656","https://openalex.org/W1510628702","https://openalex.org/W1517791025","https://openalex.org/W1518245009","https://openalex.org/W1522154830","https://openalex.org/W1523945189","https://openalex.org/W1556536463","https://openalex.org/W1583044117","https://openalex.org/W1605638241","https://openalex.org/W1734457603","https://openalex.org/W1980781982","https://openalex.org/W1992085465","https://openalex.org/W2013131987","https://openalex.org/W2022137742","https://openalex.org/W2022647944","https://openalex.org/W2025445894","https://openalex.org/W2036363185","https://openalex.org/W2059799630","https://openalex.org/W2064331169","https://openalex.org/W2087404516","https://openalex.org/W2088968841","https://openalex.org/W2096546704","https://openalex.org/W2103402555","https://openalex.org/W2118172707","https://openalex.org/W2131003004","https://openalex.org/W2161433768","https://openalex.org/W2169402190","https://openalex.org/W2408287523","https://openalex.org/W2913954624","https://openalex.org/W4231098138","https://openalex.org/W4235415159","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2502475670","https://openalex.org/W1965995882","https://openalex.org/W2614015876","https://openalex.org/W2214197538","https://openalex.org/W32215619","https://openalex.org/W2337406499","https://openalex.org/W4390107636","https://openalex.org/W2027026606","https://openalex.org/W4250089284","https://openalex.org/W2002207355"],"abstract_inverted_index":{"We":[0,176],"propose":[1,131],"a":[2,10,28,53,140,166],"framework":[3],"to":[4,23,112,117,126,165,198],"construct":[5],"web-oriented":[6],"user":[7,19,148,174],"interfaces":[8,20,66],"in":[9,27,183,206],"high-level":[11],"way":[12],"by":[13,41,49],"exploiting":[14],"declarative":[15,141,185],"programming":[16,54],"techniques.":[17],"Such":[18],"are":[21,67,159,196],"intended":[22],"manipulate":[24],"complex":[25],"data":[26,38,72,104],"type-safe":[29],"way,":[30],"i.e.,":[31,70],"it":[32],"is":[33,39],"ensured":[34],"that":[35],"only":[36,138],"typecorrect":[37],"accepted":[40],"the":[42,63,71,85,90,100,103,106,113,119,123,135,144,147,152,184,190,200],"interface,":[43],"where":[44,134,189],"types":[45,51],"can":[46,73],"be":[47,74],"specified":[48],"standard":[50,77],"of":[52,102,143,146,172,180,203],"language":[55,187],"as":[56,58],"well":[57],"any":[59,81],"computable":[60],"predicate":[61],"on":[62,84,105],"data.":[64],"The":[65],"web":[68,78],"based,":[69],"manipulated":[75],"with":[76,128],"browsers":[79],"without":[80],"specific":[82],"requirements":[83,145],"client":[86,107],"side.":[87],"However,":[88],"if":[89],"client's":[91],"browser":[92],"has":[93],"JavaScript":[94,154],"enabled,":[95],"one":[96],"could":[97],"also":[98],"check":[99],"correctness":[101],"side":[108],"providing":[109],"immediate":[110],"feedback":[111],"user.":[114],"In":[115],"order":[116],"release":[118],"application":[120],"programmer":[121,136],"from":[122,150],"tedious":[124],"details":[125],"interact":[127],"JavaScript,":[129],"we":[130],"an":[132,178],"approach":[133,163],"must":[137],"provide":[139],"description":[142],"interface":[149],"which":[151],"necessary":[153],"programs":[155],"and":[156,169,193],"HTML":[157],"forms":[158],"automatically":[160],"generated.":[161],"This":[162],"leads":[164],"very":[167],"concise":[168],"maintainable":[170],"implementation":[171,179],"web-based":[173],"interfaces.":[175],"demonstrate":[177],"this":[181,207],"concept":[182],"multi-paradigm":[186],"Curry":[188],"integrated":[191],"functional":[192],"logic":[194],"features":[195],"exploited":[197],"enable":[199],"high":[201],"level":[202],"abstraction":[204],"proposed":[205],"paper.":[208]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}