{"id":"https://openalex.org/W1499529461","doi":"https://doi.org/10.1016/s1571-0661(04)00155-0","title":"Design for AJACS, yet another Java constraint programming framework1 1The authors would like to thank the anonymous referees for their constructive review of an earlier version of this article. Universidade de \u00c9vora, CENTRIA and Funda\u00e7L\u00e3To da Ci\u00eaCncia e Tecnologia (under contract PRAXIS P/EEI/10191/98 \u201cOAR\u201d) are acknowledged for their support of the work described herein.","display_name":"Design for AJACS, yet another Java constraint programming framework1 1The authors would like to thank the anonymous referees for their constructive review of an earlier version of this article. Universidade de \u00c9vora, CENTRIA and Funda\u00e7L\u00e3To da Ci\u00eaCncia e Tecnologia (under contract PRAXIS P/EEI/10191/98 \u201cOAR\u201d) are acknowledged for their support of the work described herein.","publication_year":2001,"publication_date":"2001-06-01","ids":{"openalex":"https://openalex.org/W1499529461","doi":"https://doi.org/10.1016/s1571-0661(04)00155-0","mag":"1499529461"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00155-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00155-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)00155-0","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028216274","display_name":"L\u00edgia Ferreira","orcid":"https://orcid.org/0000-0002-2871-9346"},"institutions":[{"id":"https://openalex.org/I21803372","display_name":"University of \u00c9vora","ror":"https://ror.org/02gyps716","country_code":"PT","type":"education","lineage":["https://openalex.org/I21803372"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"L\u00edgia Ferreira","raw_affiliation_strings":["Departmento de Inform\u00e1tica, Universidade de \u00c9vora, \u00c9vora, Portugal"],"affiliations":[{"raw_affiliation_string":"Departmento de Inform\u00e1tica, Universidade de \u00c9vora, \u00c9vora, Portugal","institution_ids":["https://openalex.org/I21803372"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044725301","display_name":"Salvador Abreu","orcid":"https://orcid.org/0000-0002-1613-4631"},"institutions":[{"id":"https://openalex.org/I21803372","display_name":"University of \u00c9vora","ror":"https://ror.org/02gyps716","country_code":"PT","type":"education","lineage":["https://openalex.org/I21803372"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Salvador Abreu","raw_affiliation_strings":["Departmento de Inform\u00e1tica, Universidade de \u00c9vora, \u00c9vora, Portugal"],"affiliations":[{"raw_affiliation_string":"Departmento de Inform\u00e1tica, Universidade de \u00c9vora, \u00c9vora, Portugal","institution_ids":["https://openalex.org/I21803372"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028216274","https://openalex.org/A5044725301"],"corresponding_institution_ids":["https://openalex.org/I21803372"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10502283,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"48","issue":null,"first_page":"167","last_page":"178"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9973000288009644,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9957000017166138,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.818682849407196},{"id":"https://openalex.org/keywords/concurrent-constraint-logic-programming","display_name":"Concurrent constraint logic programming","score":0.7713648080825806},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7463423013687134},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.6944376230239868},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6914910674095154},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.5771476626396179},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5051169991493225},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.43563562631607056},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.4119173586368561},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.41071197390556335},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.40088748931884766},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3801848590373993},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.3554505705833435},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3458302617073059},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.2638642191886902},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.17718657851219177},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1168937087059021},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.10759267210960388},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09844273328781128}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.818682849407196},{"id":"https://openalex.org/C204306468","wikidata":"https://www.wikidata.org/wiki/Q5159106","display_name":"Concurrent constraint logic programming","level":5,"score":0.7713648080825806},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7463423013687134},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.6944376230239868},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6914910674095154},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.5771476626396179},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5051169991493225},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.43563562631607056},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.4119173586368561},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.41071197390556335},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.40088748931884766},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3801848590373993},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3554505705833435},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3458302617073059},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.2638642191886902},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.17718657851219177},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1168937087059021},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.10759267210960388},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09844273328781128},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)00155-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00155-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00155-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00155-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W65937437","https://openalex.org/W88610063","https://openalex.org/W1480778854","https://openalex.org/W1982482731","https://openalex.org/W2021519440","https://openalex.org/W2046308490","https://openalex.org/W2053828174","https://openalex.org/W2063727779","https://openalex.org/W2123396057","https://openalex.org/W4285719527","https://openalex.org/W6629529163"],"related_works":["https://openalex.org/W2611103758","https://openalex.org/W2495969191","https://openalex.org/W1520714863","https://openalex.org/W316728381","https://openalex.org/W1840715060","https://openalex.org/W1517880980","https://openalex.org/W1589232796","https://openalex.org/W2277365967","https://openalex.org/W2522961925","https://openalex.org/W2255720054"],"abstract_inverted_index":{"This":[0],"article":[1],"introduces":[2],"AJACS":[3,88,110],"(Another":[4],"Java":[5,18],"Constraint":[6,13,31],"Programming":[7,32],"System),":[8],"a":[9,23,57,66,74,81,90,123],"toolkit":[10,93],"for":[11,94,112],"Concurrent":[12],"programming":[14,83,104],"implemented":[15],"in":[16,29,34,38,51,65,73,96],"the":[17,113],"language.":[19],"It":[20],"comes":[21],"as":[22,78],"successor":[24],"to":[25,44,62,122],"our":[26],"previous":[27],"work":[28],"implementing":[30],"idioms":[33],"Java,":[35],"GC":[36],"[5],":[37],"that":[39,68,87,99,109],"it":[40],"represents":[41],"an":[42],"attempt":[43],"deal":[45],"with":[46],"some":[47],"of":[48,53,115],"GC's":[49],"inadequacies":[50],"terms":[52],"performance":[54],"whilst":[55],"providing":[56],"setting":[58],"which":[59],"is":[60,120],"adequate":[61],"express":[63],"problems":[64,117],"way":[67],"can":[69],"be":[70],"easily":[71],"solved":[72],"parallel":[75],"execution":[76],"environment,":[77],"provided":[79],"by":[80],"concurrent":[82],"setting.":[84],"We":[85,106],"claim":[86,108],"provides":[89],"very":[91],"flexible":[92],"use":[95],"general":[97],"applications":[98],"may":[100],"benefit":[101],"from":[102],"constraint":[103],"techniques.":[105],"also":[107],"allows":[111],"coding":[114],"CSP":[116],"whose":[118],"solution":[119],"amenable":[121],"practically":[124],"effortless":[125],"parallelization.":[126]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}