Sciweavers

6 search results - page 1 / 2
» acta 2002
Sort
View
ACTA
2002
82views more  ACTA 2002»
14 years 10 months ago
Axiomatising timed automata
Huimin Lin, Wang Yi
54
Voted
ACTA
2002
83views more  ACTA 2002»
14 years 10 months ago
Words, univalent factors, and boxes
Arturo Carpi, Aldo de Luca, Stefano Varricchio
66
Voted
ACTA
2002
84views more  ACTA 2002»
14 years 10 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
72
Voted
ACTA
2002
108views more  ACTA 2002»
14 years 10 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
79
Voted
ACTA
2002
86views more  ACTA 2002»
14 years 10 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