Works matching DE "PEARL (Computer program language)"


Results: 2
    1

    A Completely Verified Realistic Bootstrap Compiler.

    Published in:
    International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 659, doi. 10.1142/S0129054103001947
    By:
    • Bold, Axel;
    • Von Henke, Friedrich;
    • Goerigk, Wolfgang
    Publication type:
    Article
    2