Sciweavers

6 search results - page 1 / 2
» acta 2002
Sort
View
ACTA
2002
82views more  ACTA 2002»
13 years 4 months ago
Axiomatising timed automata
Huimin Lin, Wang Yi
ACTA
2002
83views more  ACTA 2002»
13 years 4 months ago
Words, univalent factors, and boxes
Arturo Carpi, Aldo de Luca, Stefano Varricchio
ACTA
2002
84views more  ACTA 2002»
13 years 4 months ago
Formal properties of XML grammars and languages
We consider XML documents described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties...
Jean Berstel, Luc Boasson
ACTA
2002
108views more  ACTA 2002»
13 years 4 months ago
Object type constructors
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
Dominic Duggan
ACTA
2002
86views more  ACTA 2002»
13 years 4 months ago
Deriving and paraphrasing information grammars using object-oriented analysis models
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
Paul J. M. Frederiks, Theo P. van der Weide