Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,467,208 papers from all fields of science
Search
Sign In
Create Free Account
Object language
Known as:
Implementation language
, Implementation languages
, Objectlanguage
An object language is a language which is the "object" of study in various fields including logic, linguistics, mathematics, and theoretical computer…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
Assembly language
Compiler
Formal grammar
Formal language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
EUnit: a unit testing framework for model management tasks
A. García-Domínguez
,
D. Kolovos
,
Louis M. Rose
,
R. Paige
,
I. Medina-Bulo
ACM/IEEE International Conference on Model Driven…
2011
Corpus ID: 12746230
Validating and transforming models are essential steps in model-driven engineering. These tasks are often implemented as…
Expand
Highly Cited
2007
Highly Cited
2007
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets
A. M. Hagalisletto
,
Joakim Bjørk
,
Ingrid Chieh Yu
,
På Enger
IEEE Transactions on Systems Man and Cybernetics…
2007
Corpus ID: 2644298
A new method for rapid construction of large-scale executable railway models is presented. Computer systems for railway systems…
Expand
Highly Cited
2006
Highly Cited
2006
On the Suitability of WS-CDL for Choreography Modeling
Gero Decker
,
Hagen Overdick
,
Johannes Maria Zaha
Entwicklungsmethoden für Informationssysteme und…
2006
Corpus ID: 6178907
TheWeb Service Choreography Description Language (WS-CDL) has been put forward as language for capturing sets of web service…
Expand
Highly Cited
2003
Highly Cited
2003
Generating Aspect Code from UML Models
Iris Groher
,
Stefan Schulze
2003
Corpus ID: 932783
position paper presents a concept for aspect-oriented design and a seamless integration of AO design and implementation. We…
Expand
2003
2003
Implementing role-based interactions for Internet agents
Giacomo Cabri
,
L. Leonardi
,
F. Zambonelli
Symposium on Applications and the Internet…
2003
Corpus ID: 18761659
Large-scale decentralized environments, such as the Internet, achieve advantages in exploiting software agents for applications…
Expand
2003
2003
The Semantic Paradoxes and the Paradoxes of Vagueness
Hartry Field
2003
Corpus ID: 16557004
Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken…
Expand
Review
2000
Review
2000
Using Maple and the Web to grade mathematics tests
S. Klai
,
T. Kolokolnikov
,
N. V. D. Bergh
Proceedings International Workshop on Advanced…
2000
Corpus ID: 60858418
We present AIM, a web-based system designed to administer graded tests with mathematical content. Its main features are: use of…
Expand
1999
1999
The u-TBL System: Logic Programming Tools for Transformation-Based Learning
T. Lager
Conference on Computational Natural Language…
1999
Corpus ID: 8829260
The #u-TBL system represents an attempt to use the search and database capabilities of the Prolog programming language to…
Expand
Highly Cited
1999
Highly Cited
1999
System support for dynamic layout of distributed applications
O. Holder
,
I. Ben-Shaul
,
Hovav Gazit
Proceedings. 19th IEEE International Conference…
1999
Corpus ID: 14452768
Dynamic application layout is the capability to move the components of a distributed program among different hosts during the…
Expand
Review
1987
Review
1987
Key Concepts of the INCAS Multicomputer Project
J. Nehmer
,
D. Haban
,
Friedemann Mattern
,
D. Wybranietz
,
H. D. Rombach
IEEE Transactions on Software Engineering
1987
Corpus ID: 2803791
This paper gives an overview of the INCAS (INCremental Architecture for distributed Systems) multicomputer project, which aims at…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE