Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
This paper deals with the feasibility of the algebraic specification technique for abstract data types, which consists of a declaration of the operations of a data type and a finite set of "axioms"… (More)
Abstract A formal framework is proposed for discussing the algebraic properties of data types. In particular, the specification problem, i.e. the problem how a particular data type can be finitely… (More)
SummaryThis paper concerns the problem of definition and description of structured data. A formalism based on the notion of the extended directed graph is developed. Operations and data structure… (More)
Using a computer for the solution of problems either by programming some algorithm oH by performing retrieval operations in a data bank system usually involves at each level of abstraction data items… (More)
This paper presents an on-line algorithm for the construction of position trees, i.e., an algorithm which constructs the position tree for a given string while reading the string from left to right.… (More)
Acta Informatica has achieved a solid reputation as an international journal of Computer Science which is to the benefit of both its readers and its authors. It is evident that such a success could… (More)