Reification (computer science)

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
Reification example1.png
Reification example2.png
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
Reification example1.png?width=300
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