|
383
|
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
– Stoy
- 1977
|
|
267
|
How to make ad-hoc polymorphism less ad-hoc
– Wadler, Blott
- 1989
|
|
240
|
Semantics of Programming Languages: Structures and Techniques. Foundations of Computing
– Gunter
- 1992
|
|
205
|
Fundamentals of Algebraic Specification 1
– Ehrig, Mahr
- 1985
|
|
197
|
Algebraic specification
– Wirsing
- 1990
|
|
148
|
Type systems for programming languages
– Mitchell
- 1990
|
|
132
|
Mathematical Theory of Computation
– MANNA
- 1974
|
|
131
|
Fundamental Concepts in Programming Languages
– Strachey
- 1967
|
|
129
|
A non-strict functional language with polymorphic types
– Turner, Miranda
- 1985
|
|
127
|
Logic and Computation: Interactive Proof with Cambridge LCF
– Paulson
- 1987
|
|
64
|
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
– Ehrig, Mahr
- 1990
|
|
59
|
A kernel language for algebraic specifications and implementation
– Sannella, Wirsing
- 1983
|
|
56
|
The Algebraic Specification Formalism ASF
– Bergstra, Heering, et al.
- 1989
|
|
52
|
Larch in five easy pieces
– Guttag, Horning, et al.
- 1985
|
|
47
|
Order-sorted equational computation
– Smolka, Nutt, et al.
- 1989
|
|
47
|
Structured algebraic specifications: A kernel language
– Wirsing
- 1986
|
|
46
|
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
– Goguen, Meseguer
- 1987
|
|
29
|
Order-sorted polymorphism in Isabelle
– Nipkow
- 1993
|
|
24
|
Partial abstract types
– Broy, Wirsing
- 1982
|
|
15
|
The Logical Framework of spectrum
– Grosu, Regensburger
- 1993
|
|
14
|
un langage pour le d'eveloppement de sp'ecifications alg'ebriques modulaires
– PLUSS
- 1989
|
|
14
|
Partially ordered sorts in algebraic specifications
– Gogolla
- 1984
|
|
13
|
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization
– Jouannaud, Kirchner, et al.
- 1988
|
|
9
|
PROSPECTRA: Program Development by Specification and Transformation
– Hoffmann, Krieg-Bruckner
- 1993
|
|
8
|
Requirement and Design Specification for Distributed Systems
– Broy
- 1988
|
|
6
|
The specification language of OBSCURE
– Lehmann, Loeckx
- 1988
|
|
5
|
Towards Structured Algebraic Specifications. ESPRIT `85
– Gaudel
- 1986
|
|
5
|
Applicative High-Order Programming - The Standard ML perspective
– Sokolowski
- 1991
|
|
4
|
The HOL System Description, Version 1 for HOL 88.1.10
– Camilleri
- 1989
|
|
3
|
The programming language OPAL
– Group
- 1991
|
|
2
|
Informatik und Mathematik
– Broy
- 1991
|
|
1
|
Unendliche Objekte und Geflechte
– Moller
- 1982
|
