Programming language specification (original) (raw)
في علم الحاسوب، مواصفة لغة البرمجة يصف ويعرف لغة البرمجة حتى يتمكن مستخدمو هذه اللغة ومنفذوها من التوافق على معنى البرامج المكتوبة بها. يمكن لمواصفة لغة البرمجة أن تأخذ أشكالا عدة. من هذه الأشكال: * تعريف صريح لقواعد ومعاني اللغة. * وصف لسلوك أحد مترجمات اللغة. * تنفيذ نموذجي، أي كتابة برنامج بتلك اللغة كي يخدم كنموذج لبقية المبرمجين.
| Property | Value |
|---|---|
| dbo:abstract | في علم الحاسوب، مواصفة لغة البرمجة يصف ويعرف لغة البرمجة حتى يتمكن مستخدمو هذه اللغة ومنفذوها من التوافق على معنى البرامج المكتوبة بها. يمكن لمواصفة لغة البرمجة أن تأخذ أشكالا عدة. من هذه الأشكال: * تعريف صريح لقواعد ومعاني اللغة. * وصف لسلوك أحد مترجمات اللغة. * تنفيذ نموذجي، أي كتابة برنامج بتلك اللغة كي يخدم كنموذج لبقية المبرمجين. (ar) In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity. Related documentation includes a programming language reference, which is intended expressly for users, and a , which explains why the specification is written as it is; these are typically more informal than a specification. (en) Спецификация (стандарт, определение) языка программирования — это предмет документации, который определяет язык программирования, чтобы пользователи и разработчики языка могли согласовывать, что означают программы на данном языке. Спецификации обычно являются подробными и формальными и в основном используются разработчиками языка, в то время как пользователи обращаются к ним в случае двусмысленности: например, спецификация языка C++ часто цитируется пользователями из-за сложности. Сопутствующая документация включает , который специально предназначен для пользователей, и логическое обоснование языка программирования, которое объясняет, почему спецификация написана именно так; последние обычно более неформальны, чем спецификации. (ru) Специфікація мови програмування (або стандарт чи визначення) є документацією, яка визначає мову програмування, так, щоб користувачі та могли дійти згоди, що означають програми на цій мові. Специфікації, як правило, деталізовані та формальні, і в першу чергу використовуються розробниками, при цьому користувачі посилаються на них у разі неоднозначності; специфікації мови C++ часто критикуються користувачами, наприклад, через складність. Відповідна документація включає в себе , яке призначено виключно для користувачів, і обґрунтування мови програмування та пояснює, чому специфікація написана так як є; вони, як правило, більш неформальні, ніж специфікація. (uk) |
| dbo:wikiPageExternalLink | http://java.sun.com/docs/books/jls/ http://www.masswerk.at/algol60/report.htm http://www.adahome.com/rm95/ http://mitpress.mit.edu/books/definition-standard-ml http://www.schemers.org/Documents/Standards/ http://www.csci.csusb.edu/dick/c++std/cd2/index.html https://github.com/ruby/spec |
| dbo:wikiPageID | 5438926 (xsd:integer) |
| dbo:wikiPageLength | 13967 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1091599837 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Programmer dbr:Prolog dbr:Scheme_(programming_language) dbr:Open-source_model dbr:Programming_language_reference dbr:Denotational_semantics dbr:Perl dbr:Regular_expression dbr:Unicode dbr:Compiler dbr:Context-free_grammar dbr:Cornelis_H._A._Koster dbr:Mathematics dbr:Test_suite dbr:Modula-2 dbr:Operational_semantics dbr:Standard_ML dbr:Computer_program dbr:Computer_programming dbr:C++ dbr:C_(programming_language) dbr:Ada_Conformity_Assessment_Test_Suite dbr:Type_system dbr:Documentation dbr:ALGOL_68 dbr:Ada_(programming_language) dbr:Formal_semantics_of_programming_languages dbr:Formal_verification dbr:Fortran dbr:International_Organization_for_Standardization dbr:Java_(programming_language) dbr:ANSI_C dbc:Programming_language_topics dbr:Syntax dbr:Automated_theorem_prover dbr:Reference_implementation dbr:Natural_language dbr:Programming_language dbr:Programming_language_implementation dbr:Nondeterministic_programming dbr:The_C_Programming_Language dbr:Lexeme_(computer_science) dbr:Model_checker dbr:Perl_5 dbr:Programming_language_semantics dbr:Programming_language_syntax dbr:Thread_(computer_programming) dbr:Programming_language_rationale |
| dbp:wikiPageUsesTemplate | dbt:Citation_needed dbt:Cquote dbt:Expand_section dbt:Main dbt:Reflist dbt:Short_description |
| dcterms:subject | dbc:Programming_language_topics |
| gold:hypernym | dbr:Artifact |
| rdf:type | yago:Abstraction100002137 yago:Communication100033020 yago:Message106598915 dbo:ProgrammingLanguage yago:Subject106599788 yago:WikicatProgrammingLanguageTopics |
| rdfs:comment | في علم الحاسوب، مواصفة لغة البرمجة يصف ويعرف لغة البرمجة حتى يتمكن مستخدمو هذه اللغة ومنفذوها من التوافق على معنى البرامج المكتوبة بها. يمكن لمواصفة لغة البرمجة أن تأخذ أشكالا عدة. من هذه الأشكال: * تعريف صريح لقواعد ومعاني اللغة. * وصف لسلوك أحد مترجمات اللغة. * تنفيذ نموذجي، أي كتابة برنامج بتلك اللغة كي يخدم كنموذج لبقية المبرمجين. (ar) In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity. Related documentation includes a programming language reference, which is intended expressly for users, and a , which explains why the specification is written as it is; these are typically more informal than a specification. (en) Спецификация (стандарт, определение) языка программирования — это предмет документации, который определяет язык программирования, чтобы пользователи и разработчики языка могли согласовывать, что означают программы на данном языке. Спецификации обычно являются подробными и формальными и в основном используются разработчиками языка, в то время как пользователи обращаются к ним в случае двусмысленности: например, спецификация языка C++ часто цитируется пользователями из-за сложности. Сопутствующая документация включает , который специально предназначен для пользователей, и логическое обоснование языка программирования, которое объясняет, почему спецификация написана именно так; последние обычно более неформальны, чем спецификации. (ru) Специфікація мови програмування (або стандарт чи визначення) є документацією, яка визначає мову програмування, так, щоб користувачі та могли дійти згоди, що означають програми на цій мові. Специфікації, як правило, деталізовані та формальні, і в першу чергу використовуються розробниками, при цьому користувачі посилаються на них у разі неоднозначності; специфікації мови C++ часто критикуються користувачами, наприклад, через складність. Відповідна документація включає в себе , яке призначено виключно для користувачів, і обґрунтування мови програмування та пояснює, чому специфікація написана так як є; вони, як правило, більш неформальні, ніж специфікація. (uk) |
| rdfs:label | مواصفة لغة برمجة (ar) Programming language specification (en) Спецификация языков программирования (ru) Специфікація мови програмування (uk) |
| owl:sameAs | freebase:Programming language specification yago-res:Programming language specification wikidata:Programming language specification dbpedia-ar:Programming language specification dbpedia-bg:Programming language specification dbpedia-ru:Programming language specification dbpedia-uk:Programming language specification https://global.dbpedia.org/id/4tho1 |
| prov:wasDerivedFrom | wikipedia-en:Programming_language_specification?oldid=1091599837&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Programming_language_specification |
| is dbo:wikiPageRedirects of | dbr:Language_specification |
| is dbo:wikiPageWikiLink of | dbr:Tail_call dbr:Programming_language_reference dbr:Visual_J++ dbr:Symbolic_language_(programming) dbr:Standard_library dbr:Language-independent_specification dbr:Gregor_Kiczales dbr:Grigore_Roșu dbr:TOML dbr:Automata_theory dbr:Programming_language dbr:Language_specification |
| is foaf:primaryTopic of | wikipedia-en:Programming_language_specification |