Klaus Didrich, Jürgen Exner, et al.  Home/Search
Context Related
| cs.tuberlin.de/~u...OpalAbstract.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmw.ac.uk/S...unctional.defin (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Klaus Didrich, Jurgen Exner, Wolfgang Grieskamp, Peter Pepper Technische Universitat Berlin, Fachbereich Informatik, Institut fur angewandte Informatik, Franklinstr. 28/29, 10587 Berlin Abstract. The Opal project is concerned with research into a programming environment in which advanced language concepts and formal development methods can be used for creating production-quality software. At the core of the project is the language Opal. It integrates concepts of functional programming... (Update)
Cited by: More
The Transformational Derivation of Parallel Programs using.. - Südholt (Correct)
Active bibliography (related documents): More All
0.4: OPAL: Design And Implementation of an Algebraic.. - Didrich, Fett.. (1994) (Correct)
0.4: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.3: How to Cope with the Spectrum of SPECTRUM - Wolter, Didrich, Cornelius.. (1995) (Correct)
Similar documents based on text: More All
0.5: Towards a Redesign of OPAL - Didrich, Exner, Gerke, Grieskamp.. (1997) (Correct)
0.4: Towards Integrating Algebraic Specification and Functional.. - Didrich, al. (Correct)
0.4: Part I: Verifying in the Small - Didrich, Fett (Correct)
BibTeX entry: (Update)
K. Didrich, J. Exner, W. Grieskamp, and P. Pepper. Integrating algebraic specifications and functional programming. experiences with the opal system. In Proceedings of the International Workshop on Advanced Software Technology, Shanghai, Sept. 15-16 1994., 1994. http://citeseer.ist.psu.edu/didrich94integrating.html More
@misc{ didrich94integrating,
author = "K. Didrich and J. Exner and W. Grieskamp and P. Pepper",
title = "Integrating algebraic specifications and functional programming",
text = "K. Didrich, J. Exner, W. Grieskamp, and P. Pepper. Integrating algebraic
specifications and functional programming. experiences with the opal system.
In Proceedings of the International Workshop on Advanced Software Technology,
Shanghai, Sept. 15-16 1994., 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/didrich94integrating.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
224 Algebraic Specification (context) - Wirsing - 1990
204 KIDS: A semiautomatic program development system - Smith - 1990
190 How to make ad--hoc polymorphism less ad hoc - Wadler, Blott - 1989
177 Fundamentals of Algebraic Specifications 1: Equations an d I.. (context) - Ehrig, Mahr - 1985
89 A gentle introduction to haskell - Hudak, Fasel - 1992
81 Specification and Transformation of Programs - a Formal Appr.. (context) - Partsch - 1990
60 Technical Report SRI-CSL (context) - Goguen, Winkler - 1988
52 The Requirement and Design Specification Language Spectrum - Broy - 1991
43 Logic and Computation (context) - Paulson - 1987
33 OPAL: Design and Implementation of an Algebraic Programming .. - Didrich, Fett et al. - 1994
31 DEC Systems Research Center (context) - Guttag, Horning et al. - 1985
11 Korso: a Methodology for the Development of Correct Software - Pepper, Wirsing - 1994
10 Generating Efficient Portable Code for a Strict Applicative .. (context) - Schulte, Grieskamp - 1992
5 Correct Software by Formal Methods (context) - Broy, Jahnichen - 1994
3 Technical Report (context) - Exner, Tutorial - 1994
3 Effiziente und korrekte Ubersetzung strikter applikativer Pr.. (context) - Schulte - 1992
1 Verifying OPAL --- Part I: Verifying in the small (context) - Didrich, Fett - 1994
1 Verifying OPAL --- Part II: Verifying in the large (context) - Didrich, Fett - 1994
1 Technical Report (context) - Lampen, Mahler - 1992
1 this is also a question of efficiency (context) - Didrich, Exner et al. - 1994
Documents on the same site (http://www.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.defin.html):
Formulating Haskell - Thompson (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC