1175 search results - page 53 / 235 » Abstract computability and algebraic specification |
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
TSD
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In this paper we introduce two ideas for phoneme classification: First, we derive the necessary steps to integrate linear transform into the computation of reproducing ke...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...