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

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540616290, 9783540706427

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Minimal term rewriting systems

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

10.1007/3-540-61629-2_48 ◽

1996 ◽

pp. 274-290 ◽

Author(s):

J. F. Th. Kamperman ◽

H. R. Walters

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Object-oriented functional programming and type reconstruction

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

10.1007/3-540-61629-2_58 ◽

1996 ◽

pp. 458-477 ◽

Author(s):

Zhenyu Qian ◽

Bernd Krieg-Brückner

Keyword(s):

Functional Programming ◽

Object Oriented ◽

Type Reconstruction

Download Full-text

Deontic concepts in the algebraic specification of dynamic systems: The permission case

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

10.1007/3-540-61629-2_42 ◽

1996 ◽

pp. 161-181

Author(s):

Eva Coscia ◽

Gianna Reggio

Keyword(s):

Dynamic Systems ◽

Algebraic Specification

Download Full-text

Tool design for structuring mechanisms for algebraic specification languages with initial semantics

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

10.1007/3-540-61629-2_62 ◽

1996 ◽

pp. 536-550

Author(s):

Dietmar Wolz

Keyword(s):

Tool Design ◽

Algebraic Specification ◽

Specification Languages

Download Full-text

Swinging data types

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

10.1007/3-540-61629-2_56 ◽

1996 ◽

pp. 409-435 ◽

Author(s):

Peter Padawitz

Keyword(s):

Download Full-text

InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations

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

10.1007/3-540-61629-2_49 ◽

1996 ◽

pp. 291-305 ◽

Author(s):

Marcus Klar ◽

Robert Geisler ◽

Felix Cornelius

Keyword(s):

Algebraic Specifications

Download Full-text

Termination of curryfied rewrite systems

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

10.1007/3-540-61629-2_51 ◽

1996 ◽

pp. 322-341

Author(s):

Bjørn Kristoffersen

Keyword(s):

Rewrite Systems

Download Full-text

A model for I/O in equational languages with don't care non-determinism

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

10.1007/3-540-61629-2_61 ◽

1996 ◽

pp. 522-535 ◽

Author(s):

H. R. Walters ◽

J. F. Th. Kamperman

Download Full-text

A category-based equational logic semantics to constraint programming

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

10.1007/3-540-61629-2_44 ◽

1996 ◽

pp. 200-221 ◽

Author(s):

Răzvan Diaconescu

Keyword(s):

Constraint Programming ◽

Equational Logic

Download Full-text

Inductively defined relations: A brief tutorial extended abstract

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

10.1007/3-540-61629-2_33 ◽

1996 ◽

pp. 14-16 ◽

Author(s):

R. M. Burstall

Download Full-text