
Reification (computer science)
Reification is the process by which an abstract idea about a computer program is turned into an explicit data model or other object created in a programming language. A computable/addressable object—a resource—is created in a system as a proxy for a non computable/addressable object. By means of reification, something that was previously implicit, unexpressed, and possibly inexpressible is explicitly formulated and made available to conceptual (logical or computational) manipulation. Informally, reification is often referred to as "making something a first-class citizen" within the scope of a particular system. Some aspect of a system can be reified at language design time, which is related to reflection in programming languages. It can be applied as a stepwise refinement at system design
- Comment
- enReification is the process by which an abstract idea about a computer program is turned into an explicit data model or other object created in a programming language. A computable/addressable object—a resource—is created in a system as a proxy for a non computable/addressable object. By means of reification, something that was previously implicit, unexpressed, and possibly inexpressible is explicitly formulated and made available to conceptual (logical or computational) manipulation. Informally, reification is often referred to as "making something a first-class citizen" within the scope of a particular system. Some aspect of a system can be reified at language design time, which is related to reflection in programming languages. It can be applied as a stepwise refinement at system design
- Depiction
- Has abstract
- enReification is the process by which an abstract idea about a computer program is turned into an explicit data model or other object created in a programming language. A computable/addressable object—a resource—is created in a system as a proxy for a non computable/addressable object. By means of reification, something that was previously implicit, unexpressed, and possibly inexpressible is explicitly formulated and made available to conceptual (logical or computational) manipulation. Informally, reification is often referred to as "making something a first-class citizen" within the scope of a particular system. Some aspect of a system can be reified at language design time, which is related to reflection in programming languages. It can be applied as a stepwise refinement at system design time. Reification is one of the most frequently used techniques of conceptual analysis and knowledge representation.
- Hypernym
- Process
- Is primary topic of
- Reification (computer science)
- Label
- enReification (computer science)
- Link from a Wikipage to another Wikipage
- Abstract data type
- Abstract syntax tree
- Actor model
- C (programming language)
- Category:Formal methods terminology
- Category:Knowledge representation
- Category:Object-oriented programming
- Computer program
- Conceptual analysis
- Conceptual model (computer science)
- Continuations
- C Sharp (programming language)
- Curl (programming language)
- Data
- Data model
- Denotational semantics
- Eval
- File:Reification example1.png
- File:Reification example2.png
- First-class citizen
- First class object
- Formal semantics of programming languages
- Formal specification
- Functional programming languages
- Homoiconicity
- Java (programming language)
- JavaScript
- Knowledge representation
- Lambda calculus
- Lambda-calculus
- Lisp (programming language)
- Logic programming
- Logtalk
- Memory address
- Message passing
- Meta-circular evaluator
- Metamodeling
- Metaobject
- Metaprogramming
- N-ary relations
- Normalization by evaluation
- Operational semantics
- Parametric polymorphism
- Programming language
- Prolog
- Provenance
- REBOL
- Reflection (computer science)
- Reification (knowledge representation)
- Reification (linguistics)
- Resource Description Framework
- Scheme (programming language)
- Self-interpreter
- Semantic Web
- Smalltalk
- Stepwise refinement
- Topic Maps
- Unified Modeling Language
- Vienna Development Method
- Web Ontology Language
- SameAs
- gpus
- m.01hstk
- Q17157038
- Reificazione (informatica)
- 实化
- Subject
- Category:Formal methods terminology
- Category:Knowledge representation
- Category:Object-oriented programming
- Thumbnail
- WasDerivedFrom
- Reification (computer science)?oldid=1099320233&ns=0
- WikiPageInterLanguageLink
- Réification
- Reifikation
- WikiPageLength
- 17840
- Wikipage page ID
- 232423
- Wikipage revision ID
- 1099320233
- WikiPageUsesTemplate
- Template:Citation needed
- Template:Clarification needed
- Template:Other uses
- Template:Paragraph break
- Template:Reflist
- Template:Short description
- Template:Var
- Template:Wiktionary