Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

31 relations
Assembly languageCompilerFormal grammarFormal language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Specification and Development of Database Applications Based on Z and SQL
The correct use of constraints within relational DBMSs is essential for one to take full advantage of the significant benefits… 
2007
2007
Verification of the C0 compiler implementation on the source code level
This thesis concerns practical application of two methods for program verification. The programming language we consider is a C… 
Highly Cited
2006
Highly Cited
2006
On the Suitability of WS-CDL for Choreography Modeling
TheWeb Service Choreography Description Language (WS-CDL) has been put forward as language for capturing sets of web service… 
2004
2004
A Framework for Image Processing
Image processing is the application of transform operations to source images. Most image processing algorithms share several… 
Review
2000
Review
2000
Using Maple and the Web to grade mathematics tests
We present AIM, a web-based system designed to administer graded tests with mathematical content. Its main features are: use of… 
1999
1999
The u-TBL System: Logic Programming Tools for Transformation-Based Learning
The #u-TBL system represents an attempt to use the search and database capabilities of the Prolog programming language to… 
1999
1999
Components for Distributed Virtual Environments
A virtual environment (VE) presents a complex problem with interesting nontrivial challenges for software development. The… 
1997
1997
Lexical and Functional Properties of Prepositions
The distinction between lexical and functional categories is at the heart of present-day generative grammar. It plays a role in… 
Review
1987
Review
1987
Key Concepts of the INCAS Multicomputer Project
This paper gives an overview of the INCAS (INCremental Architecture for distributed Systems) multicomputer project, which aims at… 
1985
1985
Control Issues in Classificatory Diagnosis
A good part of medical diagnosis can be modeled as classification problem solver producing a "differential", working in… 
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)