Use of Prolog for developing a new programming language (1992)

Cached

Download Links

by J. L. Armstrong , S.R. Virding , M. C. Williams
Citations:8 - 3 self

Active Bibliography

8 Erlang - An Experimental Telephony Programming Language – J. L. Armstrong, S. R. Virdin - 1990
-- A Unified Platform for Parsing and Generation – Shuly Wintner Seminar, Processing (ranlp, Tzigov Chark, Categorial Grammar
Towards Computer-Verified Proofs of Correctness of Logic-Programming Interpreters Using Derivations – Vernon Ralph Austel, Vernon Ralph Austel, Herbert Enderton, Eli Gafni, Carlo Zaniolo, D. Stott Parker, Committee Chair - 1997
15 Verification of Compiler Correctness for the WAM – Cornelia Pusch - 1996
Printed by Universitetsservice US-AB 2003iii – Joe Armstrong - 2003
50 Making Reliable Distributed Systems in the Presence of Software Errors – Joe Armstrong, To Helen - 2003
4 Practical Computer Security Analysis – Darrell M. Kienzle, William A. Wulf (advisor, Dean Richard, W. Miksad - 1998
4 KASE: An Integrated Environment for Software Design – Sanjay Bhansali, H. P. Nii, Sanjay Bhansali, Sanjay Bhansali, H. Penny Nii, H. Penny Nii - 1992
A Requirements Engineering Approach for Object-Oriented Conceptual Modeling Information Systems and Computation Department – César Emilio Insfrán Pelozo
LIST OF TABLES.................................................................................................................................... viii – Alexander Thomas Baker, My Parents, Judy Baker
19 Software Requirements: A Tutorial – Stuart R. Faulk - 1995
7 Design Theory and Software Design – Kent Mcphee - 1997
1 Postmodern Prospects for Conceptual Modelling – James Noble , Robert Biddle - 2006
387 Refactoring Object-Oriented Frameworks – William F. Opdyke - 1992
97 Iterative and Incremental Development: A Brief History – Craig Larman, Victor R. Basili - 2003
1 A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm – Tony Savor, Paul Dasiewicz
144 Logical Models of Argument – Carlos Ivan Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui - 2000
110 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
An exercise in dependent types: A well-typed interpreter – Lennart Augustsson Magnus, Magnus Carlsson - 1999