1154 search results - page 92 / 231 » Implementing Typed Intermediate Languages |
DSL
1997
14 years 11 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
PADL
2005
Springer
15 years 3 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
The aim of this paper is to propose a method for tagging named entities (NE), using natural language processing techniques. Beyond their literal meaning, named entities are freque...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...
JMLC
1997
Springer
15 years 2 months ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...