Sciweavers

582 search results - page 14 / 117
» Abstract Families of Abstract Categorial Languages
Sort
View
BIRTHDAY
2003
Springer
15 years 2 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet
WMP
2000
15 years 1 months ago
Parikh Mapping and Iteration
orms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages . . . . 135 Manfred Kudlek, Victor Mitrana On Multisets in Database Systems . . ....
Jürgen Dassow
77
Voted
ECOOP
1999
Springer
15 years 1 months ago
Propagating Class and Method Combination
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
Erik Ernst
61
Voted
MFCS
2000
Springer
15 years 1 months ago
XML Grammars
Abstract. XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properti...
Jean Berstel, Luc Boasson
ICFP
2006
ACM
15 years 9 months ago
From structures and functors to modules and units
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
Scott Owens, Matthew Flatt