{"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","doi":"https://doi.org/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","3034-5847"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-d","jufo-1","norway-1","poland-40","russia-white-list-2"],"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"},"volume":null,"type":"article","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/A5062515915","display_name":"F. A. Novikov","orcid":"https://orcid.org/0000-0003-4450-0173","observed_orcids":["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/I1313323035","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","https://openalex.org/I4210153663"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028661304","display_name":"\u041d\u043e\u0432\u043e\u0441\u0435\u043b\u044c\u0446\u0435\u0432 \u0412\u0438\u0442\u0430\u043b\u0438\u0439 \u0411\u043e\u0440\u0438\u0441\u043e\u0432\u0438\u0447","orcid":null,"observed_orcids":[]},"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/I1313323035","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":3,"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.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":93},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.975600004196167,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.975600004196167,"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.015599999576807022,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.00139999995008111,"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/domain-specific-languages","display_name":"domain-specific languages","score":0.6639999747276306},{"id":"https://openalex.org/keywords/executable-specifications","display_name":"executable specifications","score":0.9800000190734863},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"program synthesis","score":0.7570000290870667},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"deductive reasoning","score":0.8949999809265137},{"id":"https://openalex.org/keywords/propositional-logic","display_name":"propositional logic","score":0.9480000138282776},{"id":"https://openalex.org/keywords/graphical-specification","display_name":"graphical specification","score":0.8550000190734863},{"id":"https://openalex.org/keywords/interpretability","display_name":"interpretability","score":0.6620000004768372}],"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","doi":"https://doi.org/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","3034-5847"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-d","jufo-1","norway-1","poland-40","russia-white-list-2"],"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":[],"study_designs":[],"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/W2984736028","https://openalex.org/W2132433573","https://openalex.org/W2547218606","https://openalex.org/W6959629104","https://openalex.org/W2084733114","https://openalex.org/W1854926581","https://openalex.org/W42057733","https://openalex.org/W67661772","https://openalex.org/W1881144118","https://openalex.org/W7100119566"],"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-10-14T16:39:01.820549","created_date":"2016-06-24T00:00:00"}