Site Navigation
Categories:
Object-oriented programming
Formal methods
Knowledge representation
Articles to be merged from July 2009
All articles to be merged
Summary Of: Reification (computer science)
Encyclodia Page On: Reification (computer science)
These Are Links To Other Documents
|
merged
|
Reification (knowledge representation)
|
Discuss
|
Reification
|
first-class citizen
|
reflection
|
conceptual analysis
|
knowledge representation
|
In linguistics, reification
|
nominalization
|
clauses
|
Latin
|
programming languages
|
data
|
reflective languages
|
first class object
|
Lisp dialects
|
Prolog dialects
|
Smalltalk
|
C programming language
|
memory addresses
|
Functional programming languages
|
lambda-calculus
|
Lambda expression
|
Scheme
|
continuations
|
C#
|
parametric polymorphism
|
Java
|
REBOL
|
Lisp
|
JavaScript
|
Curl
|
Logtalk
|
Prolog
|
logic programming
|
Smalltalk
|
Actor languages
|
messages
|
stepwise refinement
|
abstract data types
|
formal specification
|
Vienna Development Method
|
Reification (linguistics)
|
conceptual modeling
|
|
Reification (knowledge representation)
|
UML
|
class diagram
|
|
Semantic Web
|
Resource Description Framework
|
Web Ontology Language
|
provenance
|
XML Topic Map
|
N-ary relations
|
Reflection (computer science)
|
Metaprogramming
|
Metaobject
|
Self-interpreter
|
Meta-circular evaluator
|
Metamodeling
|
Formal semantics of programming languages
|
Operational semantics
|
Denotational semantics
|
Normalization by evaluation
|
Resource Description Framework
|
Topic Maps
|
Categories
|
Object-oriented programming
|
Formal methods
|
Knowledge representation
|
Articles to be merged from July 2009
|
All articles to be merged
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "Reification (computer science)"
.