Knowledge: reflective

Aspect-Oriented ∞ Befunge ∞ Bistro ∞ CLOS ∞ Curl ∞ Eiffel ∞ Emacs Lisp ∞ Forth ∞ Guile ∞ Java ∞ Lisp ∞ Logo ∞ Lua ∞ Metaobject Protocols ∞ Oberon ∞ Oz-Mozart ∞

POP-11 ∞ Pliant ∞ Prolog ∞ Python ∞ REBOL ∞ Ruby ∞ Scheme ∞ Self ∞ Smalltalk ∞ Snobol ∞ Squeak ∞ TOM ∞ TUNES ∞ Tcl-Tk ∞ XOTcl ∞

See Also:

• computers → programming → languages → language-os hybrids
• computers → programming → languages → multiparadigm
• computers → programming → metaprogramming
• computers → software → operating systems → reflective

Links

ISE Technology paper: Agents, Iterators and Introspection in Eiffel 
http://archive.eiffel.com/doc/manuals/language/agent/page.html

Written in the form of an addition to the book 'Eiffel: The Language'. Introspection is Eiffel's term for reflection. Acrobat PDF format.

Napier88 
http://www-ppg.dcs.st-and.ac.uk/Languages/Napier88/

Programming system (language and persistent environment) from University of St Andrews. Features: orthogonal persistence, type completeness, higher-order procedures, abstract (existential) data types, collections of bindings, strongly typed stable store, graphical data types, concurrent execution and data access, support for reflective programming.

Reflection '96 Conference 
http://www2.parc.com/csl/groups/sda/projects/reflection96/

Proceedings, electronic copies of abstracts and full documents. Much useful information.

Reflection in Logic, Functional and Object-Priented Programming: A Short Comparative Study 
http://citeseer.ist.psu.edu/106401.html

Research paper; Department of Data Processing and Operations Research, University of Montreal, Quebec, Canada. ResearchIndex.

Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently 
http://citeseer.ist.psu.edu/masuhara92objectoriented.html

Research paper; OOPSLA October 1992. ResearchIndex.

Ink Programming Language 
http://wiki.type-z.org/index.php?n=Projects.Ink

Relation-based language, with clear separation between data and processes; reflective; typing can be static or dynamic; design by contract (DbC), time-constraint programming. Description, code samples. [TypeZDotOrgWiki]

TUNES Project: Reflection 
http://tunes.org/wiki/Reflection

Unique description, links. [Open Content]

Review About Computational Reflection 
http://tunes.org/wiki/Methods_of_Reflection

Includes an overview of the language, glossary of terms, links to reviews, and links to programmers' personal pages.

Newsgroups

• comp.lang.functional
• comp.object
• comp.object.logic
• sci.logic

Knowledge.com ™ directory, provided by Knowledge Matters Limited.
"Knowledge.com" is a Registered Trademark of Knowledge Matters Limited.