Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Metalinguistic abstraction


Related Topics

In the News (Thu 24 Dec 09)

  
  Metalinguistic Abstraction
These languages have means of combination and abstraction, such as procedure definition, that are appropriate to the larger-scale organization of systems.
Metalinguistic abstraction--establishing new languages--plays an important role in all branches of engineering design.
are legitimate languages in their own right, each with its own primitives, means of combination, and means of abstraction.
mitpress.mit.edu /sicp/full-text/sicp/book/node75.html   (1053 words)

  
  Metalinguistic abstraction Encyclopedia
In computer science, metalinguistic abstraction is the process of solving complex problems by creating a new language or vocabulary to better understand the problem space.
A metalinguistic programmer would abstract the problem by creating a new language for modelling an airport with its own primitives and operations.
Because the creation of functional metalinguistic abstractions in non-functional languages can be cumbersome and also because of the syntactic flexibility of functional macros, metalinguistic programming is most often performed on a functional base.
www.hallencyclopedia.com /topic/Metalinguistic_abstraction.html   (300 words)

  
 Eli Bendersky’s website » Blog Archive » DSL = Metalinguistic Abstraction
Metalinguistic Abstraction is the process of solving programming problems by creating a new language that is better suited to tackle these problems.
Unlike the traditional software engineering process of dividing problems to exactly defined subproblems and solving those subproblems, metalinguistic abstraction instructs the programmer to imagine a new programming language in which the solution of these problems can be expressed most naturally, and then implement this language.
Since metalinguistic abstraction is such a powerful programming technique, it is highly recommended for any programmer to learn Lisp (whether it is Common Lisp or Scheme doesn’t really matter).
eli.thegreenplace.net /2007/07/27/dsl-metalinguistic-abstraction   (1208 words)

  
  Introduction to linguistic abstraction
Thus we speak about metalinguistic abstraction, emphasizing that we enter a higher language level than the level we came from.
Procedural abstraction is central in both the imperative paradigm and the object-oriented paradigm.
As mentioned in Section 22.2 coarse grained linguistic abstraction is related to translation (compilation) and interpretation, as known from courses in compiler technology.
www.cs.auc.dk /~normark/prog3-03/html/notes/languages_themes-intro-sec.html   (1627 words)

  
 Metalinguistic Abstraction
I assert that this is an important prerequisite because monads provide you is a rigorous and structured abstraction for dealing with data transformations and the application of higher order functions.
Otherwise we rightly should have a type error because you are applying “join” to a non-list, although you could imagine writing a more forgiving implementation with Maybe-like qualities, or force all internal values to be singleton lists rather than scalars.
Some of the more “leaky” abstractions made for performance such as ETS or process tables that allow for mutation can have opaque continuation returns that cannot be serialized in this way.
metalinguist.wordpress.com   (10748 words)

  
 ^zhurnal v.0.37
The big secret, in both cases, is abstraction: the ability to see through the particular to the general --- that is, discovering how to look at specific individual cases and recognize the overarching principles that unify them.
It's in words that the magic is --- Abracadabra, Open Sesame, and the rest --- but the magic words in one story aren't magical in the next.
Unusual for one of Them to be out and about in broad daylight, no? Then the rusty metalinguistic reprocessor kicked in and I belatedly parsed van fire as it should have been understood.
zhurnaly.com /zhurnal37.html   (11703 words)

  
 95.307
Establishing a new language is a powerful strategy for controlling complexity in engineering design
We can enhance our ability to deal with a complex problem by adopting a new language that enables us to describe the problem in a different way using primitives, means of combination and means of abstraction that is well suited for the problem at hand
A meta circular interpreter is just an abstraction of the language
www.scs.carleton.ca /~deugo/comp3007/Notes/MetalinguisticAbstraction/95_307.htm   (691 words)

  
 Untitled Document
The structure of such a network is not determined by experience alone but must evolve in accordance with abstraction heuristics, which constrain the varieties of network between which experience must decide.
This paper criticizes the network theory on the grounds that current proposals regarding these abstraction heuristics all fail, and further, that, given certain plausible assumptions, no viable account of these abstraction heuristics will be possible.
Abstraction heuristics cannot be universal principles of rational thought because virtually no concept is intrinsically unsuitable for use in a true and useful representation of reality.
asweb.artsci.uc.edu /philosophy/gauker/abstracts.html   (2998 words)

  
  McGill Cognitive Science Abstracts   (Site not responding. Last check: )
In particular, researchers will continue to search for the factors responsible for the various recovery patterns, especially those that determine the occurrence of one pattern over another, and those that influence which specific language is preferentially recovered in nonparallel recovery.
They will pinpoint the role of the cerebral structures underlying implicit linguistic competence, metalinguistic knowledge, and pragmatic ability, and to determine the extent of reliance on these structures in the acquisition, representation and processing of native language(s) and languages learned or acquired later in life.
The architecture-modifying portion of the algorithm, on the other hand, models the notion of reflective abstraction: higher order representations are constructed (reflecting); these are then incorporated in the network's topology (reflexion).
www.cogsci.mcgill.ca /abstracts.html   (1569 words)

  
 Metalinguistic abstraction at AllExperts
In computer science, metalinguistic abstraction is the process of solving complex problems by creating a new language or vocabulary to better understand the problem space.
A metalinguistic programmer would abstract the problem by creating a new language for modelling an airport with its own primitives and operations.
Because the creation of functional metalinguistic abstractions in non-functional languages can be cumbersome and also because of the syntactic flexibility of functional macros, metalinguistic programming is most often performed on a functional base.
en.allexperts.com /e/m/me/metalinguistic_abstraction.htm   (271 words)

  
 Backus-Naur Form   (Site not responding. Last check: )
Left and right broken brackets are used to contain one or more characters representing a metalinguistic variable whose definition is given by a metalinguistic formula.
means “is defined as” and separates the metalinguistic variable on its left from the definition on its right, in a metalinguistic formula.
These braces are used to enclose metalinguistic variables that are defined by the meaning of the English language expression contained within the braces.
www.skipgeel.com /bnf.html   (338 words)

  
 61A Course Description
Math 1A (may be taken concurrently); programming experience with recursion equivalent to that gained in CS 3 or the Advanced Placement Computer Science A course.
This course exposes students to techniques of abstraction at several levels: (a) within a programming language, using higher-order functions, manifest types, data-directed programming, and message-passing; (b) between programming languages, using functional and rule-based languages as examples.
We start with the idea of data abstraction and techniques for implementing "abstraction barriers." Next, we discuss the use of Scheme pairs to implement lists, trees, and other data structures.
www.cs.berkeley.edu /~clancy/descrs/61a.html   (608 words)

  
 CS1101S information   (Site not responding. Last check: )
This course teaches the fundamentals of modern programming; it uses abstraction to control complexity in large programming systems.
Procedure abstraction: static and dynamic scope of names, parameter passing, block structure, iteration and recursion, the procedure as a parameter and as a result, lambda expressions.
Metalinguistic abstraction: the metacircular evaluator, operations on environments.
www.comp.nus.edu.sg /~cs1101s/info.html   (90 words)

  
 [No title]
How data abstraction is more than just defining constructors and selectors and how notions of type can help one program at a higher conceptual level and make a system extensible.
MetaLinguistic Abstraction: As we confront increasingly complex problems, no fixed programming language is sufficient for all needs.
Establishing new languages (Metalinguistic Abstraction) is a powerful strategy for controlling complexity in any engineering discipline.
www.fas.harvard.edu /~lib51/files/lecture5-th.html   (2906 words)

  
 Aspetti psicologici della traduzione
Such endless activity of identification of affinities and differences continually refines abstraction capabilities, teaches to use metaphors, “the primitive symbolization of abstraction”.
The abstraction capability necessary to get to the metaphor is just the same as that necessary to put an adjective near a noun, or to use prepositions or verbs.
Moreover, the metalinguistic assertions about language are destined to modify the very language one is talking about; our subject is therefore very plastic and difficult to catch in a moment of stasis.
www.trad.it /psycho.html   (6067 words)

  
 Stefan Hechenberger
Such a "metalinguistic abstraction" [Abelson, Sussman, ch.4] is fundamentally a proposed way of thinking about parametric form.
Both have powerful mechanisms for adjusting the level of abstraction, and both are highly optimized to control the generality versus specificity of propositions.
Software mediates between the hardware and the abstraction layer that was chosen as the terms by which to express the design.
parama.sourceforge.net /research/FormFollowsComputation.html   (5504 words)

  
 CSC 8310: The Linguistics of Programming Languages
In developing these techniques, a major goal is to establish conventional interfaces that enable us to construct systems by combining standard, well-understood pieces in a modular "mix and match" way.
Another general method of defining abstractions is Metalinguistic Abstraction: this is the process of establishing new languages for describing a particular problem domain.
A compound operation is given a name and then referred to as a unit -- this is a way to build procedural abstractions.
www.csc.villanova.edu /mnt/a/csc8310/lect1.html   (941 words)

  
 Reflection and natural language - Notes from Classy's Kitchen
In artificial languages this is not the case - and reflection provides the model knowledge that enables brevity of expression.
It is not quite the same as meta linguistic expressiveness of natural languages, since metalinguistic abstraction of natural languages exactly relies on heavy ambient model data and deep conversational state.
Or maybe more precisely, reflection in natural language is not as explicit, since reference to entities can be made indirectly, relying on deep state.
www.classy.dk /log/archive/000110.html   (437 words)

  
 abstractions - SWiK
The contents of abstractions page and all pages directly attached to abstractions will be erased.
More specifically, it is a framework upon which applications written in C or assembly language can draw to add a richly programmable environment.
Moving a mouse and clicking buttons to get things done is not natural to people nor are there the centuries of experience with machines similar to computers.
swik.net /abstractions   (916 words)

  
 REVIEW OF Deacon's The Symbolic Species
Deacon's thesis, as I understand him, is that the critical event in human evolution was the emergence of a mental ability to represent complex and internally coherent abstract systems of meaning, consisting of abstract entities, abstract properties of such entities and abstract relationships between them.
To be sure, some of these abstractions are grounded in concrete experience, but the degree of systematic abstraction or `symbolic reasoning' exhibited by modern humans is the key to understanding the complexity of our languages and cultures.
As a measure of the difficulty (but also of the seriousness with which Deacon's book is being taken) I can report that I have participated in several reading groups, of university lecturers and postgraduate students in Linguistics and Cognitive Science, devoted to Deacon's chapter entitled `Symbols aren't simple'.
www.ling.ed.ac.uk /~jim/deaconreview.tls.html   (1458 words)

  
 Re: Expressiveness of a language (Was: Re: Concepts, Techniques, and Models of Computer Programming) (D)
possible abstractions with metalinguistic abstraction as the climax, is
Obviously with metalinguistic abstraction problems can be expressed more
metalinguistic abstraction is good example for the downsides of language
www.digitalmars.com /pnews/read.php?server=news.digitalmars.com&group=D&artnum=11631   (290 words)

  
 810:154 Session 1
Computer science is largely about abstraction, but we need to be able to make our models less and less abstract until they can execute on a real machine.
The fancy name for this idea is metalinguistic abstraction -- the idea of using one language to build a new language that helps us solve a particular problem or class of problems.
They are easier to write and modify than compilers, because their behavior is implemented at a higher level of abstraction.
www.cs.uni.edu /~wallingf/teaching/154/sessions/session01.html   (3910 words)

  
 Wiki: fm01 2005   (Site not responding. Last check: )
layers of abstraction are accessible in the language (see mapforms code walker) or with continuations produce self-aware language or with interpreters or other code walkers - see erunticlab code
**abstractions with data - compound data - sequences as conventional interfaces - example of a picture language -
15) mobile code at higher level which embodies abstractions - macros shared with some indication of usage - but question of this vs. flattening of code - that if code-chunk markers are placed in streams - or all code approach - data as code so data can be interpreted with instructions which act as markers
fm01.memebot.com /cgi-bin/wiki.cgi/fm01_2005   (6423 words)

  
 [No title]
Barth John abstraction metalinguistic embedded language evaluator high-level language machine language vs.
metalinguistic abstraction computer science Lisp suited to writing evaluators metacircular evaluator apply-primitive-procedure environment model of evaluation evaluator and logic programming metacircular evaluator for Scheme metacircular evaluator for Scheme basic cycle metacircular evaluator for Scheme primitive procedures data abstraction in evaluator define-variable!
parameters procedure-body procedure-environment rest-operands syntactic sugar binding-in-env lookup-variable-value metacircular evaluator for Scheme data abstraction in metacircular evaluator for Scheme metacircular evaluator for Scheme syntax of evaluated language 302 adjoin-frame define-variable!
web.mit.edu /auroraz/OldFiles/Public/index4-1.txt   (637 words)

  
 3-29-84 Newsletter 25
2) Topics to be covered include: -- Procedural and data abstraction; -- Objects, modularity, state, and encapsulation; -- Input/output, notation, and communication protocols; -- Metalinguistic abstraction, and problems of intensional grain; -- Architecture, implementation, and abstract machines; -- Introspection, self-reference, metacircular interpreters, and reflection.
Here we demonstrate that knowledge of categories at that level (and only that level) of abstraction is dominated by knowledge of parts.
Basic level categories are perceived to share parts and to differ from one another on the basis of other features.
www-csli.stanford.edu /Archive/calendar/1983-84/msg00024.html   (1959 words)

  
 Objectives
This means programming that makes effective use of the abstraction mechanisms of functional languages, such as higher-order functions (functions that take functions as arguments and return functions as results) to achieve generality and abstraction.
Data abstraction is a key idea for allowing programs to be easily modifiable.
One specific benefit of learning about the semantics of such features is that your understanding will help you learn new languages quickly, by mapping key ideas and concepts from this class into the new language's syntax and semantics.
www.cs.iastate.edu /~leavens/ComS342-SICP/Objectives.html   (823 words)

  
 COMP2002 Computational Systems
To investigate and use the concept of recursion and study the principles of recursive, applicative, and functional programming.
To use various functional abstractions to control the complexity of programming, and use abstraction mechanisms in programs.
discuss and perform the decomposition of problems using procedural, data and metalinguistic abstractions.
www.ecs.soton.ac.uk /admissions/ug/syllabus.php?unit=COMP2002   (165 words)

  
 [No title]
The course covers a broad range of concepts, including first-class procedures, procedural abstraction, data abstraction, modularity and state, and metalinguistic abstraction (interpretation & compilation); it also introduces a wide range of programming paradigms: functional programming, imperative programming, object-oriented programming, logic programming, and assembly-level programming.
Although this is not relevant to the kinds of things you are trying to teach (data abstraction, higher-order procedures, etc.), it no doubt absorbs much of one's mental capacity.
Used as problem set: Fall 1985, PS9 Fall 1984, PS8 Spring 1984, PS7 Fall 1982, PS7 Spring 1982, PS9 Comments: (from Julie) The TXT file is an updated version of the Fall 1984 file, which had not been correctly updated to match the book.
www.cs.cmu.edu /Groups/AI/lang/scheme/edu/6001/dbase/doc.txt   (6033 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.