6201 search results - page 279 / 1241 » Implementation of Axiomatic Language |
158
click to vote
PADL
2007
Springer
16 years 25 days ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
158
Voted
ACMSE
2005
ACM
16 years 8 days ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
181
click to vote
AMAI
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
194
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...
158
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...