PreScheme - PDFSEARCH.IO - Document Search Engine

PreScheme
Results: 8

#	Item
1	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Logic in computer science Programming language semantics PreScheme Scheme programming language Compiler construction Denotational semantics Scheme 48 Compiler Operational semantics Software engineering Computing Computer programming
2	A Veried Compiler for Multithreaded PreScheme 1 William M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics PreScheme Scheme programming language Denotational semantics Operational semantics System programming language Compiler Programming language Software engineering Computing Programming language theory
3	A Guide to VLISP, A Veried Programming Language Implementation J. D. Guttman L. G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Procedural programming languages Programming language implementation Logic in computer science PreScheme Scheme programming language Compiler construction Programming language Compiler Denotational semantics Software engineering Computing Programming language theory
4	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
5	A Veried Run-Time Structure for Pure PreScheme Dino P. Oliva Mitchell Wand College of Computer Science Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Data types Primitive types Procedural programming languages PreScheme Scheme programming language Stack Pointer Forth Env Computing Software engineering Computer programming
6	The VLISP PreScheme Front End John D. Ramsdell Joshua D. Guttman Willian M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 C++ Scheme programming language PreScheme C programming language Data types Source code Scheme 48 ALGOL 68 Scheme Software engineering Computer programming Computing
7	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 PreScheme Scheme programming language Logic in computer science Compiler construction Programming language semantics Source code Software engineering Computer programming Computing
8	A Veried Compiler for Pure PreScheme: Final Report for Contract Number F19628-89-C-001 Dino P. Oliva Mitchell Wand wand@ ora.ccs.northeastern.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Programming language implementation PreScheme Scheme programming language Logic in computer science Programming language semantics Denotational semantics Compiler Scheme Programming language Software engineering Computing Programming language theory