IBM PC laboratory software in Turbo Pascal

Type Inference of Turbo Pascal

Type inference is generally thought of as being an exclusive property of the functional programming paradigm. We argue that such a feature may be of significant benefit for also standard imperative languages. We present a working tool (available by WWW) providing these benefits for a full version of Turbo Pascal. It has the form of a preprocessor that analyzes programs in which the type annotat...

Software tools in Pascal

DNA sequence analysis on the IBM-PC

We have developed, for the IBM-PC microcomputer, a menu driven, interactive set of programs which provide the functions routinely used for DNA sequence data analyses.

Exponentiation Cryptosystems on the IBM PC

Several cryptosystems based on exponentiation have been proposed in recent years. Some of these are of the public key variety and offer notable advantages in cryptographic key management, both for secret c o m munication and for message authentication. The need for extensive arithmetic calculations with very large integers (hundreds of digits long) is a drawback of these systems. This paper des...

Um Ambiente Para Programação Concorrente Em Turbo Pascal

of Thesis presented to COPPE/UFRJ as partia1 fulfillment of the requirements for the degree of Master of Science (M. Sc. ) . AN ENVIRONMENT FOR CONCURRENT PROGRAMMING IN TURBO PASCAL Carlos Fernando R. de Avila Goulart October, 1991 Thesis Supervisor: Valmir Carneiro Barbosa Department : Computing Systems Engineering The present work intends to bring to the academic community, in a software pac...