Direção-Geral do Livro, dos Arquivos e das Bibliotecas
Edifício da Torre do Tombo, Alameda da Universidade
1649-010 LISBOA
Tel.: +351 21 003 71 00
Fax.: +351 21 003 71 01
secretariado@dglab.gov.pt
Search results
98 records were found.
Notes/ Notas "On Formatted Transput" by J. C. van Vliet with other possible optimizations/ com possíveis otimizações.
Some notes of maintenance by C. H. Lindsey IFIP/WG 2.1 (M-8) 101: constitution of the maintenance group, changes to the report, collation of information, sponsorship of publication, sponsorship or encouragement of research, standardisation.
Algumas notas de manutenção por C. H. Lindsey IFIP / WG 2.1 (M-8) 101: constituição do grupo de manutenção, mudanças no relatório, coleta de informações, patrocínio de publicação, patrocínio ou incentivo à pesquisa, padronização.
Manuscript note of Caracciolo about WG2.1 group fully realising the magnitude and difficulty it has commissioned.
Nota manuscrita de Caracciolo sobre o grupo WG2.1, compreendendo plenamente a magnitude e a dificuldade que ele encomendou.
Copy of "A proposal for input-output handling in Algol 68" of the subcommittee on Algol of the ACM Programming Languages Committee. Proposal based on ideas introduced by the Knuth's proposal. This study was elaborated in cooperation of IBM Laboratory Vienna (Dr. H. Bekic and Mr. Peter Naur) and IBM Laboratories GER (German)y.
Cópia de "Uma proposta de manuseio de insumo-produto em Algol 68" do subcomité do Algol do Comité de Linguagens de Programação ACM. Proposta baseada em idéias introduzidas pela proposta do Knuth. Este estudo foi elaborado em cooperação com o IBM Laboratory Vienna (Dr. H. Bekic e Peter Naur) e a IBM Laboratories GER (German)y.
Abstracto project for an algorithm specification language (semantic and syntactic aspects of programming languages, pure specification languages, semantic primitives for a pure specification language, syntactic forms for a specification language, implementation of subsets of a specification language, research efforts which wide acceptance of a specification language would facilitate and focus by R. Dewar and J. Schwartz.
Projeto de Abstracto para uma linguagem de especificação de algoritmos (aspectos semânticos e sintáticos de linguagens de programação, linguagens de especificação pura, primitivas semânticas para uma linguagem de especificação pura, formas sintáticas para uma linguagem de especificação, implementação de subconjuntos de uma linguagem de especificação, esforços de pesquisa linguagem de especificação facilitaria e enfocaria, por R. Dewar e J. Schwartz.
List of known errors in IW90 by J. C. van Vliet.
Lista de erros conhecidos no IW90, por J. C. van Vliet.
"Computer decisions" by Jeffrey Bairstow.
Thesis of "A proposal for programmer defined variables and operators" by William C. Lynch.
Tese de "Uma proposta para variáveis e operadores definidos pelo programador", por William C. Lynch.
Paper "Dialects of Algol 60 comparison and conversion" by J. W. van Wingen. Presented at the XVI meeting in Pisa (Italy), of share's European Association (SEAS).
Artigo "Dialetos de Algol 60 comparação e conversão", por J. W. van Wingen. Apresentado na XVI reunião em Pisa (Itália), da Associação Europeia de ações (SEAS).
IFIP WG 2.1 eighteenth meeting - Dresden, D. D. R.
IFIP WG 2.1 décima oitava reunião - Dresden, D. D. R.
Part of a document / Parte de documento (pages 63 to 83): "Formated Transput: differences, new definition."
List of changes in MR99 as compared to MR100 (M6) 99: intentional changes of the language, changes that do not influence the language intended.
Lista de alterações no MR99 em comparação com o MR100 (M6) 99: alterações intencionais do idioma, alterações que não influenciam a linguagem pretendida.
Document of Dick Grune "The revised MC Algol 68 Test Set" - the revised Algol 68 Test Set comprises 190 Algol 68 programs covering the full language with the exception of bulk I/O. Each program has been run on at least one Algol compiler.
Documento de Dick Grune "O Conjunto de Testes MC Algol 68 revisto" - o Conjunto de Testes Algol 68 revisto compreende 190 programas Algol 68 cobrindo o idioma completo com a exceção de E / S em massa. Cada programa foi executado em pelo menos um compilador Algol.
Enclosed a letter of J. C. van Vliet to Chris Cheney about this document, that is intended to be discussed at the meeting of the Working Party on Transput in Amsterdam. Includes a letter of J. C. van Vliet to Chris Cheney: "This document is intended to be discussed at he forthcoming meeting of the Working Party on Transput in Amsterdam."
Versão preliminar de "An implementation model of the Algol 68 Transput" by J. C. van Vliet. Incluí uma carta de J. C. van Vliet para Chris Cheney sobre este documento, que se destina a ser discutido na reunião do Grupo de Trabalho sobre o Transput em Amsterdão.
"Tree Representations and list processing algorithms" by Hirohiko Nisimura, Electro technical Laboratory, Japan.
"Representações de Árvores e algoritmos de processamento de lista", por Hirohiko Nisimura, Laboratório Electrotécnico do Japão.
"The simplification of Mathematical Expressions" by Computer by R. G. Tobey.
"A simplificação de expressões matemáticas", por computador por R. G. Tobey.
Philips Philosophies by A. Van Gils. With the handwritten note: IFIP/WG 2.1 (Tirrenia-5)71.
Philips Philosophies por A. Van Gils. Com a nota manuscrita: IFIP / WG 2.1 (Tirrenia-5) 71.
Part of a document.
Parte de um documento.
Copy of Dynamic Scope cheeking by M. Woodger recommending the liberal rule.
Cópia de "Dynamic Scope", por M. Woodger, recomendando a regra liberal.
Abstract of the "Rational functions in Mathlab" by Michael Manove, Stephen Bloom, Carl Engelman.
Resumo de "Rational functions in Mathlab" by Michael Manove, Stephen Bloom, Carl Engelman.
"A survey of computer languages for symbolic and algebraic manipulation" by B. Raphael, D. G. Bobrow, L. Fein, J. W. Young.
"Um levantamento de linguagens de computador para manipulação simbólica e algébraica", por B. Raphael, D. G. Bobrow, L.Fein, J. W. Young.
"Logical Capabilities of the TRAC System" by Calvin N. Mooers.
"Capacidades Lógicas do Sistema TRAC", por Calvin N. Mooers.
"Un language pour imbriquer les constituents non-connexes" by J. B. Benzecri.
Draft definition of the MC Transput System by J. C. van Vliet: report with a precise definition of the Transput of Algol 68.
Projeto de definição do Sistema de Transmissão MC, por J. C. van Vliet: relatório com uma definição precisa do Transput do Algol 68.
Paper of Charles Lindsey "An analysis of the present Algol 68 Transput": introduction, the gremlins, friendly and unfriendly operating systems, sequential files, an analysis of unfriendly features, close, scratch and lock, lines, pages, logical file limit, physical file limits, reading and writing to the same book, files and events, possible, "reidf", conversions, random files, binary Transput, conclusions. (Hearne 3).
Artigo de Charles Lindsey "Uma análise do presente Algol 68 Transput": introdução, os gremlins, sistemas operacionais amigáveis e hostis, arquivos sequenciais, uma análise de características não amigáveis, fecho, linhas, páginas, limite de arquivo lógico, físico, limites de arquivos, leitura e escrita para o mesmo livro, arquivos e eventos, possíveis, "reidf", conversões, arquivos aleatórios, Transput binário, conclusões. (Hearne 3)
Remarks on MR 99 by G. Seegmuller (IFIP/WG 2.1 Munich-3) 96. In memory of the unknown programmer.
Observações sobre o relatório MR 99 por G. Seegmuller (IFIP / WG 2.1 Munich-3) 96. Em memória do programador desconhecido.
"Historical remarks on the matter of Algol" by Willem van der Paul. Beginning of lecture on Algol 68 in Nato Summer School.
Observações históricas referentes ao Algol, por Willem van der Paul. Início da palestra sobre Algol 68 na Nato Summer School.
Draft commentaries on Transput by Charles Lindsey.
Esboço de comentários sobre Transput, de Charles Lindsey.
"Experiences with Algol 68" Transput by Hanno Wupper.
Copy of "SIGMA - A symbolic Generator and Macro assembler" by A. P. Yershov.
Cópia do "SIGMA - Um gerador simbólico e um montador Macro", por A. P. Yershov.
"Coercions in Algol 68" by Helge Scheidig.
"Coerções em Algol 68", por Helge Scheidig.
Part of a chapter of "Conversion Routines - Differences" (pages 46-55). With handwritten notes.
Parte de um capítulo de "Rotinas de Conversão - Diferenças" (páginas 46-55). Com notas manuscritas.
Working document - "An Implementation Model of the Algol 68 Transput of the WG 2.1 meeting" by J. C. van Vliet.
Documento de trabalho - "Um modelo de implementação do Algol 68 Transput da reunião do WG 2.1", por J. C. van Vliet.
Copy of "Changing line lenghts in random files".
Cópia de "Alterando comprimentos de linha em arquivos aleatórios".
"A description of the FLACC Transput System". This document is extremely preliminary, and does not accurately reflect the FLACC implementation.
"A description of the FLACC Transput System". Este documento é extremamente preliminar e não reflete com precisão a implementação da FLACC.
"Towards an implementation-oriented definition of the Algol 68 Transput" by J. C. van Vliet.
Charles Lindsey position paper on check pos.
Paper de Charles Lindsey sobre a sua posição "on check pos".
"On the Algol 68 Transput Conversion Routines" by J. C. van Vliet printed by the Mathematical Centre of Amsterdam.
"Towards a machine-independent Transput section" by J. C. van Vliet.
Draft proposal of "An Implementation-Oriented Definition of the Algol 68 Transput" by J. C. van Vliet. Report with a precise definition of the Transput of Algol 68.
Proposta preliminar de "Uma definição orientada para a implementação do Algol 68 Transput", por J. C. van Vliet. Relatório com uma definição precisa do Transput do Algol 68.
Copy of An ISO-CODE representation for Algol 68, presented to the seminar on Algol 68 Implementation.
Cópia de uma representação ISO-CODE para o Algol 68, apresentada ao seminário sobre Implementação de Algol 68.
Copy of the paper of J. C. Boussard presented in Banff meeting: Algol 60 maintenance, implementer´s corner, maintenance of Algol 68.
Cópia do artigo de J. C. Boussard, apresentado na reunião de Banff: "Manutenção de Algol 60, esquina de implementadores, manutenção do Algol 68".
Copy of "Defining and applied occurrences of identifiers" by P. M. Finch, presented in the Algol 68 Implementation seminar.
Cópia das "Ocorrências de definição e aplicação de identificadores", por P. M. Finch, apresentadas no seminário de implementação do Algol 68.
Bibliography on Algol 68 compiled by R. G. Vaucher, librarian at the IBM european systems Research Institute, Geneva, Switzerland.
Bibliografia sobre Algol 68 compilada por R. G. Vaucher, bibliotecária do Instituto de Pesquisa de Sistemas Europeus da IBM, Genebra, Suíça.
"Eine Implementierung von Algol 68" by Gerhard Goos.
"Uma implementação do Algol 68", por Gerhard Goos.
Limitations and changes in the implementation of Algol 68 in Munich (the numbers refer to the report) by G. Goos.
Limitações e mudanças na implementação do Algol 68 em Munique (os números referem-se ao relatório), por G. Goos.
The NU Algol Programming System of the computing centre NTH. Attached a letter of J. H. Pot to Willem van der Poel.
O Sistema de Programação NU Algol do centro de computação NTH. Anexa uma carta de J. H. Pot a Willem van der Poel.
Copy of the paper "The use of trees for symbol tables" by H. D. Baecker. These notes discuss these of a binary tree as a symbol table and of a tree-structured reference system to the local definitions of Algol 68 syntactic elements.
Cópia do artigo "O uso de árvores para tabelas de símbolos" por H. D. Baecker. Estas notas discutem uma árvore binária, como uma tabela de símbolos e de um sistema de referência estruturado em árvore, para as definições locais dos elementos sintáticos Algol 68.
Copy of / Cópia de "Constpucting correct and efficient concurrent programs" by Michel Sintzoff and Axel van Lamsweerde. To appear in Proc. Intl. Conf. On Reliable Software, ACM-IEEE. This copy was sent by M. Sintzoff to WG 2.1 members.
Para aparecer no Proc. Intl. Conf. Em Software Confiável, ACM-IEEE. Esta cópia foi enviada por M. Sintzoff para os membros do WG 2.1.
Theses "Languages pour l'ecriture de compilateurs" by J. Cohen directed by J. Kuntzmann. Teses "Languages pour l'ecriture de compilateurs" de J. Cohen, dirigido por J. Kuntzmann.
Proposal for the Manner in which the IFIP Subset Algol 60 Document and the I/O Document will be published. This document must be reviewed by IFIP/TC2.
Proposta sobre o modo sobre o qual o Documento do Subconjunto IFIP Algol 60 e o Documento de I/O serão publicados. Este documento deve ser revisto pelo IFIP/TC2.
CC 620 - the Transput of Algol 68. Annoyed the name Koster.
CC 620 - o Transput de Algol 68. Contém o nome Koster.
10th meeting of the technical committee Nº2 "Programming Languages".
10ª reunião do comité técnico Nº2 "Linguagens de Programação".
Origins of some features of Algol 68 as embodied in MR99 (first appearance in documents available to WG 2.1) by M. Woodger.
Origens de algumas características do Algol 68 como incorporadas no MR99 (primeira aparição em documentos disponíveis para o WG 2.1), por M. Woodger.
Paper presented by Landin for the Zurich meeting about MR93: chapter 1. introduction - the method by which MR93 presents its language, grammar, digression. Paper apresentado por Landin para a reunião de Zurique acerca do MR93: capítulo 1. Introdução - o método pelo qual MR93 apresenta sua linguagem, gramática, digressão.
Copy of "Problems in the revised report, commentaries on the revised report" by Charles Lindsey. With handwritten notes (Crestview 3 A revised) and a note: for the archives not for publication.
"Working document: Part - 2 An implementation Model of the Algol 68 Transput" by J. C. van Vliet. This document was presented in the Task Force Meeting in Cambridge, December 18-19. With handwritten notes.
"Documento de trabalho: Parte - 2 Um modelo de implementação do Algol 68 Transput", por J. C. van Vliet. Este documento foi apresentado na Reunião da Task Force, em Cambridge, de 18 a 19 de dezembro. Com notas manuscritas.
"Working document: Part - 1 An implementation Model of the Algol 68 Transput" by J. C. van Vliet. This document was presented in the Task Force Meeting in Cambridge, December 18-19. With handwritten notes.
"Documento de trabalho: Parte - 1 Um modelo de implementação do Algol 68 Transput", por J. C. van Vliet. Este documento foi apresentado na Reunião da Força-Tarefa em Cambridge, de 18 a 19 de dezembro. Com notas manuscritas.
"Problems in the revised report (post Jablonna Edition)" by Charles Lindsey. Prepared at the request meeting of the Sub-Committee on Algol 68. With handwritten notes of Charles Lindsey.
"Problemas no relatório revisto (post Jablonna Edition)" por Charles Lindsey. Preparado na reunião de solicitação do Subcomité do Algol 68. Com notas manuscritas de Charles Lindsey.
Draft of "A Modules and separate compilation facility for Algol 68" by Charles Lindsey. Specification released by the IFIP Working Group 2.1 Standing Committee on Algol 68 Support, with the authorization of the Working Group.
Rascunho de "A módulos e compilação separada para Algol 68", por Charles Lindsey. Especificação divulgada pelo Grupo de Trabalho IFIP 2.1, Comité Permanente de Apoio Algol 68, com a autorização do Grupo de Trabalho.
Regulations of the Royal Dutch Academy of Sciences.
Regulamento da Academia Real Holandesa de Ciências.
Partial status list of Algol 68 implementation Activity by George Ledin, Jr.
Lista parcial de status da implementação do Algol 68 Activity by George Ledin, Jr.
"Further differences in the revised language" prepared by C. H. Lindsey on behalf of M. Sintzoff and J. E. L. Peck.
Outras diferenças na linguagem revista, preparada por C. H. Lindsey, em nome de M. Sintzoff e J. E. L. Peck.
AB35.3.1 - "Further Report on Improvements to Algol 68" prepared by the Editor.
AB35.3.1 - Relatório adicional sobre melhorias em Algol 68 preparado pelo Editor.
Output of PASS-2 with handwritten notes.
Output do PASS-2 com notas manuscritas.
Copy of Edsger Dijkstra of a proposal for an IFIP Working Group 2.3 on Requirements of Programming Tools.
Cópia de uma proposta de Edsger Dijkstra para um grupo de trabalho IFIP 2.3, sobre requisitos de ferramentas de programação.
Abstract of "DYSTAL: A Universal Programming Language" by James M. Sakoda, Brown University.
Resumo de "DYSTAL: Uma Linguagem Universal de Programação", por James M. Sakoda, Brown University.
Abstract "The record class and its implementation" by Mailloux.
Abstract "The record class and its implementation", por Mailloux.
"Properties of files used in data processing: sequential, actual key, indexed sequential, direct, multiple indexes, interfacing Algol 68 to Record Managers" by Charles Lindsey.
Copy of "Some problems in compiling Algol 68" by Gerhard Goos.
Cópia de "Alguns problemas na compilação de Algol 68", por Gerhard Goos.
Part of a chapter of/ Parte de capítulo de "Conversion Routines" (pages 46-54).
Version of the/ Versão de "Formatted Transput" (pages 63-83).
Copy of "Some thoughts on Transput" by C. M. Thomson.
Cópia de "Some thoughts on Transput", de C. M. Thomson.
"An analysis of the present Algol 68 Transput" by Charles Lindsey.
"Uma análise do presente Algol 68 Transput", por Charles Lindsey.
Thesis / Tese of F. H. Koch "The recognition of Ranges in Algol 68".
R. R. E. Memorandum nº. 2601 primer of Algol 68-R (second edition) by P. M. Woodward. Crown copyright reserved. Enclosed an errata. A first edition of this primer was issued in April 1969 as R. R. E. Memorandum 2541. Na Algol 68-R compiler has since been completed by I. F. Currie, Susan G. Bond and J. Morison for an ICL 1907F computer. This second edition of the primer takes account of information not previously available, and the earlier edition should be destroyed. R. R. E. Memorandum nº. 2601 primer de Algol 68-R (segunda edição), por P. M. Woodward.
Direitos autorais da coroa reservados. Fechado uma errata.
Research report "A symbol table for the B-6500" by Henry J. Bowlen. The algorithms presented in this working paper are designed to provide an efficient source scanner and symbol table for a recognizer for a class of languages including those of the Algol family.
Relatório de pesquisa "Uma tabela de símbolos para o B-6500" por Henry J. Bowlen. Os algoritmos apresentados neste documento de trabalho são projetados para fornecer uma varredura de fonte eficiente e uma tabela de símbolos para um reconhecedor de uma classe de idiomas, incluindo os da família Algol.
Guidelines on Pragmats by C. H. Lindsey.
Diretrizes sobre Pragmats de C. H. Lindsey.
Part of a Chapter of / Parte de capítulo de J. C. van Vliet (pages 55 to 71) to be revised / a ser revisto.
IFIP/WG 2.1 Zandvoort.
"Observações" de Peck sobre comentários de Yoneda - IFIP / WG 2.1 Zandvoort.
By A. Colmerauer, with a letter enclosed.
"Noções de operadores numa gramática "contexto livre", por A. Colmerauer, com uma carta em anexo.
Fraser Duncan send the chapter 1 of MR99 to members of IFIP WG 2.1 that should be regarded as bringing out into the open a number of hidden deficiencies of MR93-95-99.
Fraser Duncan envia o capítulo 1 do MR99 para os membros da IFIP WG 2.1, que deve ser considerado revelador uma série de deficiências ocultas do MR93-95-99.
Technical Report no. CS 98, by H. Bauer, S. Backer and S. Graham.
Implementação do Algol W. Relatório Técnico no. CS 98, por H. Bauer, S. Backer e S. Graham.
Copy of "On storage of modes and some context conditions" by J. E. L. Peck.
Cópia de "Em armazenamento de modos e algumas condições de contexto" por J. E. L. Peck.
"Exact solution of systems of linear equations over an arbitrary integral domain" by C. E. Collins.
"Solução exata de sistemas de equações lineares sobre um domínio integral arbitrário", por C. E. Collins.
"An ISO-CODE Representation for Algol 68" by Charles Lindsey. Presented to the Seminar on Algol 68 Implementation, University of British Columbia. (IFIP/WG2.1 (Baff-4) 110.
"Representação da ISO CODE para Algol 68" por Charles Lindsey. Apresentado no Seminário sobre Implementação de Algol 68, University of British Columbia. (IFIP / WG2.1 (Baff-4) 110.
Copy of the paper "The Axiomatic Method: Data Manipulation" by C. A. R. Hoare. This paper illustrates the manner in which the axiomatic method may be applied to the rigorous definition of programming languages.
Cópia do artigo "The Axiomatic Method: Data Manipulation", de C. A. R. Hoare. Este artigo ilustra a maneira pela qual o método axiomático pode ser aplicado à definição rigorosa de linguagens de programação.
J. C. van Vliet send a letter to Chris Cheney about "An Implementation-oriented Definition of the Algol 68 Transput". Intended to be discussed at the meeting of the Subcommittee in Kingston.
J. C. van Vliet envia carta a Chris Cheney sobre "Uma definição orientada para a implementação do Algol 68 Transput". Destinada a ser discutida na reunião do Subcomité, em Kingston.
"Memorandum of the Working Description of Algol 68-R" by I. F. Currie and P. M. Woodward.
"Memorando da descrição de trabalho de Algol 68-R", por I. F. Currie e P. M. Woodward.
Copy of/ Cópia de "The Implementer's problems: introduction" by Hanno Wupper.
Bugs in Section 10.3 - compilation of problems and errors in section 10.3 of the revised report.
Bugs na Seção 10.3 - compilação de problemas e erros na seção 10.3 do relatório revisto.
"Guidelines" by C. H. Lindsey. With handwritten notes.
"Diretrizes" de C. H. Lindsey. Com notas manuscritas.
Scientific paper "A Symbol table with scope recognition for the B6500" by Henry J. Bowlen. To be presented at he Conference on Algol 68 Implementation, Munich, GER (German)y.
Artigo científico "Uma tabela de símbolos com reconhecimento de escopo para o B6500", por Henry J. Bowlen. A ser apresentado na Conferência sobre Implementação Algol 68, Munique, Alemanha.
Copy of Algol Bulletin nº 35. Cópia do Boletim Algol nº 35.
Revised report on the Algorithmic Language Algol 68 . Proposed a new syntax. Editorial working document only.
Relatório revisto sobre Algorithmic Language Algol 68. Proposta de uma nova sintaxe. Documento de trabalho editorial somente.
Three papers on input-output in Algol 60 by J. W. van Wingen. Algol 60 input-output editing using the o.s. 360 compiler. A proposal for a simple input-output system in Algol 60, an algorithm for free field read.
Três artigos sobre input-output em Algol 60 de J. W. van Wingen. Algol 60 edição de entrada e saída usando o o.s. Compilador 360. Uma proposta para um sistema simples de entrada e saída em Algol 60, um algoritmo para leitura livre em campo.
Thesis "An Algol 68 RUN-TIME implementation" by R. H. Pierce. Submitted to The Victoria University of Manchester for the degree of Master of Science.
Tese submetida à Universidade Victoria de Manchester, para obtenção do grau de Master of Science.
Note with information about the Composition of the revised Algol - 60 report edited by Peter Naur. 2 copies.
Nota com informação acerca da composição do relatório revisto do Algol 60, editado por Peter Naur. 2 cópias.
