{"id":"https://openalex.org/W2075796352","doi":"https://doi.org/10.1134/s036176881001007x","title":"Interpretable program specification language","display_name":"Interpretable program specification language","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2075796352","doi":"https://doi.org/10.1134/s036176881001007x","mag":"2075796352"},"language":"en","primary_location":{"id":"doi:10.1134/s036176881001007x","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s036176881001007x","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"type":"article","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/A5062515915","display_name":"F. A. Novikov","orcid":"https://orcid.org/0000-0003-4450-0173"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210153663","display_name":"Institute of Applied Astronomy","ror":"https://ror.org/04b581c27","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210096333","https://openalex.org/I4210153663"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"F. A. Novikov","raw_affiliation_strings":["Institute of Applied Astronomy, Russian Academy of Sciences, nab. Kutuzova 10, St. Petersburg, 191187, Russia","Institute of Applied Astronomy, Russian Academy of Sciences, St. Petersburg, Russia 191187#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Applied Astronomy, Russian Academy of Sciences, nab. Kutuzova 10, St. Petersburg, 191187, Russia","institution_ids":["https://openalex.org/I4210153663"]},{"raw_affiliation_string":"Institute of Applied Astronomy, Russian Academy of Sciences, St. Petersburg, Russia 191187#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028661304","display_name":"\u0412. \u0411. \u041d\u043e\u0432\u043e\u0441\u0435\u043b\u044c\u0446\u0435\u0432","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210143630","display_name":"Program Systems Institute of RAS","ror":"https://ror.org/040r4cv22","country_code":"RU","type":"education","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210143630"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. B. Novoseltsev","raw_affiliation_strings":["Institute of Software Systems, Russian Academy of Sciences, ul. Petra Pervogo 4a, s. Ves\u2019kovo, Pereslavl\u2019 raion, Yaroslavl oblast, 150020, Russia","Institute of Software Systems, Russian Academy of Sciences, Yaroslavl oblast, Russia 150020"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software Systems, Russian Academy of Sciences, ul. Petra Pervogo 4a, s. Ves\u2019kovo, Pereslavl\u2019 raion, Yaroslavl oblast, 150020, Russia","institution_ids":["https://openalex.org/I4210143630"]},{"raw_affiliation_string":"Institute of Software Systems, Russian Academy of Sciences, Yaroslavl oblast, Russia 150020","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5062515915"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210153663"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.12533205,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"36","issue":"1","first_page":"48","last_page":"57"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14351","display_name":"Statistical and Computational Modeling","score":0.930899977684021,"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/T14351","display_name":"Statistical and Computational Modeling","score":0.930899977684021,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9279000163078308,"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/executable","display_name":"Executable","score":0.8815078735351562},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.809040904045105},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7623053789138794},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5909412503242493},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.560443639755249},{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.5479715466499329},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5362251400947571},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4986550807952881},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.49022871255874634},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39572036266326904},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2514954209327698},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14903807640075684}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8815078735351562},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.809040904045105},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7623053789138794},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5909412503242493},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.560443639755249},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.5479715466499329},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5362251400947571},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4986550807952881},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.49022871255874634},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39572036266326904},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2514954209327698},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14903807640075684},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s036176881001007x","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s036176881001007x","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W67488330","https://openalex.org/W1500250067","https://openalex.org/W1651242740","https://openalex.org/W1998017916","https://openalex.org/W2050195809","https://openalex.org/W2113277794","https://openalex.org/W2339337913","https://openalex.org/W2911980423","https://openalex.org/W4231973523","https://openalex.org/W4235986870","https://openalex.org/W4239571647"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W19473193","https://openalex.org/W2349990005","https://openalex.org/W2071432835","https://openalex.org/W4234371507","https://openalex.org/W4299534542","https://openalex.org/W2328185575","https://openalex.org/W2145248953","https://openalex.org/W1534985845","https://openalex.org/W1489073853"],"abstract_inverted_index":{"In":[0],"the":[1],"paper,":[2],"a":[3,24,48],"domain-specific":[4],"language":[5,12],"of":[6,19,51],"executable":[7],"specifications":[8],"is":[9],"proposed.":[10],"This":[11],"makes":[13],"it":[14],"possible":[15],"to":[16],"describe":[17],"models":[18],"formalized":[20],"subject":[21],"domains":[22],"in":[23,47],"graphical":[25],"form,":[26],"formulate":[27],"computational":[28],"problems":[29,39],"on":[30,44],"these":[31,38],"models,":[32],"and":[33],"synthesize":[34],"programs":[35],"for":[36],"solving":[37],"(including":[40],"parallel":[41],"ones)":[42],"based":[43],"deductive":[45],"inference":[46],"special":[49],"class":[50],"proposition":[52],"calculus.":[53]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}