definitions for general-purpose terms and acts as a foundation for more specific domain ontologies. In this paper we outline the strategy used to create the current version of the SUMO, discuss some of the challenges that we faced in constructing the ontology, and describe in detail its most general concepts

, hiding and recursion. We present a simple model for this language based on the specification-oriented methodology of [OH86]. The crucial insight is to focus on observing the resting points of a process—those stores in which the pro-cess quiesces without producing more information. It turns out

of evidence suggesting that number sense constitutes a domain-specific, biologically-determined ability are reviewed: the presence of evolutionary precursors of arithmetic in animals; the early emergence of arithmetic competence in infants independently of other abilities, including language; the existence

We have a number of domain-specific languages. Each pair shares some common sublanguage. All of them share a common language of values. We have the same situation on the type level! How do we implement this system without duplicating code! 4 How Can we Compose Data Structures?... and Functions

for expressing domain abstractions at the semantic level. However, they do not provide the right abstractions at the syntactic level. In this paper we describe MetaBorg, a method for providing concrete syntax for domain abstractions to application programmers. The method consists of embedding domain-specific

This document is concerned with the specification of an interpretation of the first order language of set theory. The purpose of this is to provide an ontological basis for foundation systems suitable for the formal derivation of mathematics. The ontology is to include the pure well-founded sets

problems, raising the need of, on the one hand, separate the coordination code from the business code, and on the other hand provide mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to write

understanding of the target architecture. Domain-specific languages (DSLs) are a promising alternative, allowing compilers to map problem-specific abstractions directly to low-level architecture-specific programming models. However, developing DSLs is difficult, and using multiple DSLs together in a single

implementing a system being assembled from (existing) components. Scripting languages, like Perl, Tcl, Unix-Shell, are often used for implementing this so-called glue code, because they provide a exible way to process string-based input, the most common data structures used for component interactions

that are composed from a number of primitive refactorings – is limited. In particular, there is a lack of powerful and easy-to-use frameworks that allow users to script their own reusable composite refactorings in order to carry out large-scale, or batch, refactorings efficiently. This paper introduces the domain-specific