S.Schupp R.Loos fgasth,-tuebingen.de...  @ NUS Home/Search
Context
Related
| rpi.edu/research/ps/9712.ps Cached: PS.gz PS PDF Image Update Help From: rpi.edu/research/tr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this report is concerned with the type-checking process which guarantees type-safe calls to generic functions. Therefore at this point we only point out the questions answered in completing this project: ffl To use stgentz in the process of type-checking it has to be extended to deal with bindings, i.e. extract the subexpressions which stand for type-variables in generic functions (Update)
Active bibliography (related documents): More All
0.5: Verification of Generic Algebraic Algorithms - Schwarzweller (Correct)
0.5: Use of Attribute Grammars in Test-Sequence Specifications - Sajeev, Ramakrishnan (1997) (Correct)
0.3: An Implementation of the Modified Generalized Conjugate.. - Zbigniew Leyk (Correct)
Similar documents based on text: More All
1.3: Completing the Compilation of - Gast Schupp Loos (Correct)
0.3: On Maintaining Code Mobility - Schimkat, Friedrich, Küchlin (2001) (Correct)
0.3: Considerations for a Generic SAC Library - Schupp, Loos (1995) (Correct)
BibTeX entry: (Update)
@misc{ fgasth-completing,
author = "Schupp Loos Fgasth",
title = "Completing the Compilation of SuchThat v0.7 H. Gast",
url = "citeseer.comp.nus.edu.sg/685978.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman - 1985
229 A Document Preparation System (context) - Lamport - 1986
30 The Standard Template Library - Stepanov, Lee - 1995
7 A one-pass algorithm for overload resolution in Ada (context) - Baker - 1982
4 Generic Programming -- SuchThat One Can Build an Algebraic L.. (context) - Schupp - 1996
3 nuweb a simple literate programming tool - Briggs - 1989
2 and Jeffrey D Ullman (context) - Aho, Sethi - 1986
1 Operator identification in Ada: Formal specification (context) - Ganziger, Ripken - 1980
1 Deciding structure implications (context) - Schupp - 1997
1 With scheme from SuchThat to c (context) - Gast - 1997
1 Processing SuchThat declarations (context) - Schupp - 1997
1 A SuchThat Translator to Scheme (context) - Loos - 1997
1 An implementation of structure implication sequents (context) - Loos, Schupp - 1997
1 Associating SuchThat Structures with their Attributes (context) - Loos, Schupp - 1997
1 Addidson-Wesley Publishing Company (context) - Stroustrup, Programming - 1991
1 Finding the SuchThat-Expressions to Statically type-check (context) - Szillat - 1997
1 The Translator st2cpp The following script for the bourne sh.. (context) - Weiss, configurable et al. - 1997
Documents on the same site (http://www.cs.rpi.edu/research/tr.html): More
MIRAGE: A Framework for Mining, Exploring and Visualizing.. - Zaki, Phoophakdee (Correct)
Model Selection and Surface Merging in Reconstruction Algorithms - Bubna, Stewart (1997) (Correct)
G isn't C! - LabVIEW and G as a Computing Language Course - Krishnamoorthy, Schupp (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.