Recent Trends in Data Type Specification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540544968, 9783540384168

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards object-oriented algebraic specifications

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_6 ◽

1991 ◽

pp. 98-116 ◽

Author(s):

Martin Große-Rhode

Keyword(s):

Object Oriented ◽

Algebraic Specifications

Download Full-text

Constraints for behavioural specifications

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_12 ◽

1991 ◽

pp. 220-245 ◽

Author(s):

F. Orejas ◽

P. Nivela

Download Full-text

ADT implementation and completion by induction from examples

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_1 ◽

1991 ◽

pp. 1-10 ◽

Author(s):

Guntis Barzdins

Download Full-text

Design of a compiler for lazy pattern driven narrowing

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_19 ◽

1991 ◽

pp. 362-379 ◽

Author(s):

Dietmar Wolz

Download Full-text

Composition of algebraic high-level nets

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_4 ◽

1991 ◽

pp. 52-73 ◽

Author(s):

Cristian Dimitrovici ◽

Udo Hummert

Keyword(s):

Download Full-text

Clausal rewriting: Applications and implementation

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_11 ◽

1991 ◽

pp. 204-219 ◽

Author(s):

Robert Nieuwenhuis ◽

Fernando Orejas

Download Full-text

Inductive completion for transformation of equational specifications

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_7 ◽

1991 ◽

pp. 117-140 ◽

Author(s):

Steffen Lange ◽

Klaus P. Jantke

Keyword(s):

Equational Specifications

Download Full-text

Generic types in a language for data directed design

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_18 ◽

1991 ◽

pp. 341-361 ◽

Author(s):

Eric G. Wagner

Keyword(s):

Directed Design

Download Full-text

The specification language GSBL

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_3 ◽

1991 ◽

pp. 31-51 ◽

Author(s):

S. Clerici ◽

F. Orejas

Keyword(s):

Specification Language

Download Full-text

Dependent types considered necessary for specification languages

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-54496-8_17 ◽

1991 ◽

pp. 323-340 ◽

Author(s):

T. Streicher ◽

M. Wirsing

Keyword(s):

Dependent Types ◽

Specification Languages

Download Full-text