Result 41 to 60 of 102 total
Algebraic preliminaries. (English)
Astesiano, E. (ed.) et al., Algebraic foundations of systems specification. Berlin: Springer. IFIP State-of-the-Art Reports. 13-30 (1999).
41
Algebraic methods for specification and formal development of programs (English)
ACM Comput. Surv. 31, No. 3es, 10 (1999).
42
The common framework initiative for algebraic specification and development of software (English)
Ershov Memorial Conference, 1-9 (1999).
43
Algebraic specification and program development by stepwise refinement (English)
LOPSTR, 1-9 (1999).
44
Pre-logical relations (English)
CSL, 546-561 (1999).
45
Architectural specifications in CASL (English)
AMAST, 341-357 (1998).
46
Reflections on the design of a specification language (English)
FASE, 154-170 (1998).
47
The definition of Extended ML: A gentle introduction. (English)
Theor. Comput. Sci. 173, No.2, 445-484 (1997).
48
Essential concepts of algebraic specification and program development. (English)
Formal Asp. Comput. 9, No.3, 229-269 (1997).
49
What does the future hold for theoretical computer science? (English)
TAPSOFT, 15-19 (1997).
50
On behavioural abstraction and behavioural satisfaction in higher-order logic. (English)
Theor. Comput. Sci. 167, No.1-2, 3-45 (1996).
51
Mind the gap! abstract versus concrete models of specifications (English)
MFCS, 114-134 (1996).
52
On behavioral abstraction and behavioural satisfaction in higher-order logic (English)
TAPSOFT, 247-261 (1995).
53
The semantics of extended ML: A gentle introduction. (English)
Andrews, Derek J. (ed.) et al., Semantics of specification languages (SoSL). Proceedings of the International Workshop, Utrecht, the Netherlands, 25-27 October 1993. Berlin: Springer-Verlag. Workshops in Computing. 186-215 (1994).
54
Structured theory presentations and logic representations. (English)
Ann. Pure Appl. Logic 67, No.1-3, 113-160 (1994).
55
Programming languages and systems - ESOP ’94. 5th European symposium on Programming, Edinburgh, GB, April 11‒13, 1994. Proceedings. (English)
Lecture Notes in Computer Science. 788. Berlin: Springer. viii, 516 p. DM 106.00 öS 748.80; sFr 96.00 /sc (1994).
56
Interfaces and extended ML (English)
Workshop on Interface Definition Languages, 111-118 (1994).
57
The semantics of extended ML: A gentle introduction (English)
Semantics of Specification Languages, 186-215 (1993).
58
Toward formal development of programs from algebraic specifications: Parameterisation revisited. (English)
Acta Inf. 29, No.8, 689-736 (1992).
59
A calculus for the construction of modular PROLOG programs. (English)
J. Log. Program. 12, No.1-2, 147-177 (1992).
60
Result 41 to 60 of 102 total
Start
Contact
Print
General Help
