Jochen Burghardt  Home/Search
Context Related
| first.gmd.de/pub/joche...lncs1009.ps.gz gmd.de/GMD/concord...korso_lncs95.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: first.gmd.de/perso...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . After a general overview on the Gmd Karlsruhe subproject of Korso, the work on synthesis of functional programs by sorted narrowing is presented in more detail: A sort discipline is introduced to describe regular sets of ground constructor terms as extensional sorts. It is extended to cope with regular sets of ground substitutions, thereby allowing to compute different sorts for terms with different variable bindings. An algorithm to compute signatures of equationally defined functions is... (Update)
Context of citations to this paper: More
...proper narrowing steps or solution constructors. The computed signatures are too complex to be likely to be declared by a user who doesn t know the proof in advance. The application of the sort calculus in the area of formal software development is given more detailed treatment in...
Cited by: More
Regular Substitution Sets: A Means of Controlling E-Unification - Burghardt (1995) (Correct)
Active bibliography (related documents): More All
3.8: A Fine-Grain Sort Discipline and its Application to Formal.. - Burghardt (Correct)
0.5: Improvements in Program Synthesis Using Fine-Grain Sorted Logic - Burghardt (1991) (Correct)
0.3: La Programmation Logique Par Contraintes Pour L'aide `a.. - Denis Bouhineau (1996) (Correct)
Similar documents based on text: More All
0.4: Concepts for an Extended Type Checker for the Z Specification.. - Burghardt (Correct)
0.3: Implementing Anti-Unification Modulo Equational Theory - Burghardt, Heinz (Correct)
0.2: E-Generalization Using Grammars - Burghardt (2003) (Correct)
BibTeX entry: (Update)
Burghardt, J., A fine-grain sort discipline and its application to formal program construction, in: M. Broy, S. Jahnichen (eds.), KORSO -- Correct software by formal methods, LNCS, to appear http://citeseer.ist.psu.edu/219445.html More
@inproceedings{ burghardt95finegrain,
author = "Jochen Burghardt",
title = "A Fine-Grain Sort Discipline and Its Application to Formal Program Construction",
booktitle = "{KORSO} Book",
pages = "190-204",
year = "1995",
url = "citeseer.ist.psu.edu/219445.html" }
Citations (may not include all citations):24 Software Practice and Experience (context) - generating, PGS et al. - 1989
4 TU Berlin (context) - by, Heinz - 1994
4 TU Berlin (context) - by, Regular et al. - 1994
3 This article was processed using the L a T E X macro package.. (context) - solution, steamroller et al. - 1985
2 TU Berlin (context) - Programmsynthese, Mohaupt - 1991
2 Schmidt-Schau (context) - of, logic et al. - 1988
2 Mathematical Systems Theory (context) - automata, an et al. - 1968
2 Gmd-Report (context) - Theorembeweiser, intuitionistische et al. - 1991
2 IFIP TC2 Working Conference WG (context) - program, fine-grain et al. - 1991
2 Gmd-Report (context) - Sortendisziplin, Anwendung et al. - 1993
1 University Karlsruhe (context) - der deduktiven, Haase - 1992
Documents on the same site (http://www.first.gmd.de/persons/Burghardt.Jochen/Ftp/Papers/publications.html):
Improvements in Program Synthesis Using Fine-Grain Sorted Logic - Burghardt (1991) (Correct)
Improvements in Program Synthesis Using Fine-Grain Sorted Logic - Burghardt (1991) (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