Results 251 to 260 of about 4,623,694 (286)
Some of the next articles are maybe not open access.

A Meta-language for MDX Queries in eLog Business Solution

2012 IEEE 28th International Conference on Data Engineering, 2012
The adoption of business intelligence technology in industries is growing rapidly. Business managers are not satisfied with ad hoc and static reports and they ask for more flexible and easy to use data analysis tools. Recently, application interfaces that expand the range of operations available to the user, hiding the underlying complexity, have been ...
BERGAMASCHI, Sonia   +4 more
openaire   +1 more source

Using Smalltalk as a Reflective Executable Meta-language

2006
Object-oriented meta-languages such as MOF or EMOF are often used to specify domain specific languages. However, these meta-languages lack the ability to describe behavior or operational semantics. Several approaches have used a subset of Java mixed with OCL as executable meta-languages.
Stéphane Ducasse, Tudor Gîrba
openaire   +1 more source

Gödel as a meta-language for composing logic programs

1994
Increasing attention is being paid to Godel, a new declarative programming language aimed at diminishing the gap between theory and practice of programming with logic. An intriguing question is whether or not existing logic programs can be suitably re-used in Godel.
Antonio Brogi, Simone Contiero
openaire   +2 more sources

Is the meta-language really natural?

Theoretical Linguistics, 2003
Abstract 1. On the status of the primitives It is interesting and surely non-coincidental that the semantic primitives proposed by NSM researchers include some of the most hotly-debated topics in the formal semantics literature. There is a large body of formal semantic research (too large
openaire   +1 more source

A debugger for a Meta-IV-like meta-language

1991
The purpose of this paper is to report on the development of a debugging tool for a Meta-IV-like language. The tool consists of a static semantics checker and a debugger. The meta-language includes a subset of the DDC Meta-IV language, but with some simplifications and enhancements.
D. Kinnaes, Karel De Vlaminck
openaire   +2 more sources

On the teacher's meta-language

2004
The term " meta-language" may refer to the language a teacher uses to allow various classroom processes to happen. This paper deals with the FL teacher's meta-language. The types and frequency of acts which serve meta-linguistic purpose are discovered as well as the distribution of the sentence type of these acts.
openaire  

A meta-language for functional verification

2011
This dissertation perceives a similarity between two activities: that of coordinating the search for simulation traces toward reaching verification closure, and that of coordinating the search for a proof within a theorem prover. The programmatic coordination of simulation is difficult with existing tools for digital circuit verification because ...
openaire   +1 more source

A meta-language for systems architecting

2005
(cont.) To demonstrate its practical value in large-scale engineering systems, the research applied OPN to two space exploration programs and one aircraft design problem. In our experiments, OPN was able to significantly change the modeling and architectural reasoning process by automating a number of manual model construction, manipulation, and ...
openaire   +1 more source

Home - About - Disclaimer - Privacy