On the readability of COBOL manualsLEMOS, R. S.International journal of man-machine studies. 1983, Vol 19, Num 4, pp 377-389, issn 0020-7373Article

The contraction of control implementationsCOON, L. A; KEARNS, J. P; SOFFA, M. L et al.Computer languages. 1983, Vol 8, Num 1, pp 15-25, issn 0096-0551Article

An implementation of Algol 68 for a small computerNADRCHAL, J; SKLENAR, I; KRIZ, V et al.Software, practice & experience. 1983, Vol 13, Num 7, pp 597-660, issn 0038-0644Article

The DELtran projectHOCH, J; BAUER, C.Advances in VLSI series. 1989, Num 1, pp 332-355Article

The impact on software development costs of using HOL'sGAFFNEY, J. E.IEEE transactions on software engineering. 1986, Vol 12, Num 3, pp 496-499, issn 0098-5589Article

The CS language concept: a new approach to robot motion designISH-SHALOM, J.The International journal of robotics research. 1985, Vol 4, Num 1, pp 42-58, issn 0278-3649Article

An optimistic implementation of the stack-heapBLAIR, J. R. S; KEARNS, P; SOFFA, M. L et al.The Journal of systems and software. 1985, Vol 5, Num 3, pp 193-202, issn 0164-1212Article

Exception handling ― A static approachKINDSKOV KNUDSEN, J.Software, practice & experience. 1984, Vol 19, Num 5, pp 429-449, issn 0038-0644Article

Numericon 880-CNC high-level languageSHAFIR, S.Computers in industry. 1983, Vol 4, Num 3, pp 265-271, issn 0166-3615Article

Macro professors for enhancing high-level languages ― some design principlesTRIANCE, J. M; LAYZELL, P. J.Computer journal (Print). 1985, Vol 28, Num 1, pp 34-43, issn 0010-4620Article

Prolog in 10 figuresCOLMERAUER, A.Communications of the ACM. 1985, Vol 28, Num 12, pp 1296-1310, issn 0001-0782Article

Linking assembly code to PASCAL programs for microprocessorsEL-DHAHER, A. H. G; HASSAN, T. S; AHMED, A. J et al.Microprocessors and microsystems. 1984, Vol 8, Num 1, pp 29-33, issn 0141-9331Article

Le système Ada/Ed: une expérience de prototype utilisant le langage SETL = ADA/ED: an experiment in Software Prototyping Using SETLKRUCHTEN, P; SCHONBERG, E.TSI. Technique et science informatiques. 1984, Vol 3, Num 3, pp 193-200, issn 0752-4072Article

Integrating library modules into Pascal programsANGONA, M; DE FLORIANI, L; DODERO, G et al.Software, practice & experience. 1984, Vol 19, Num 5, pp 401-412, issn 0038-0644Article

Type checking systems codeMORRISETT, Greg.Lecture notes in computer science. 2002, pp 1-5, issn 0302-9743, isbn 3-540-43363-5Conference Paper

A high-level robot languageALFORD, G. D; CHADWICK, J. G.IEE conference publication. 1984, Num 243, pp 79-86, issn 0537-9989Conference Paper

Intermediate RepresentationCHOW, Fred.Communications of the ACM. 2013, Vol 56, Num 12, pp 57-62, issn 0001-0782, 6 p.Article

Erweiterung der universellen höheren Programmiersprache BASIC für die Programmierung mikrorechnergesteuerter Prüfsysteme = L'extension du langage de programmation supérieure universel BASIC pour la programmation de systèmes de test contrôlés par des microordinateurs = Extension of the universal higher programming language BASIC for the programming of microcomputer controlled test systemsFRICKE, T. M; STIEFEL, B.Nachrichtentechnik. Elektronik. 1984, Vol 34, Num 4, pp 148-150, issn 0323-4657Article

Le FORTRAN 77 (comparaison avec le FORTRAN 66) = The FORTRAN-77 (comparison with the FORTRAN 66)LEGUEN, J. C.1984, 27 p.Report

Proceedings/ 11e SIMULA [Simulation language] users' conference Paris september 7-9, 1983SIMULA users' conference. 11. 1983, 105 p.Conference Proceedings

High Level Language Translator with Machine Code as Representation of the Source CodeRIBIC, Samir; SALIHBEGOVIC, Adnan.Information technology interfaces. 2007, pp 777-782, isbn 978-953-7138-09-7, 1Vol, 6 p.Conference Paper

Evolution of the high level programming languages : A critical perspectiveMASUD AHMAD MALIK.SIGPLAN notices. 1998, Vol 33, Num 12, pp 72-80, issn 0362-1340Article

The calculus of constructions = Le calcul des constructionsCOQUAND, Thierry; HUET, Gérard.Rapports de recherche - INRIA. 1986, Num 530, issn 0249-6399, 21 p.Report

VAX Fortran to fortran 77 translatorHESSEL, R. E; CHICO, S. B.Advances in engineering software (1978). 1985, Vol 7, Num 3, pp 142-144, issn 0141-1195Article

Automatic program generation in distributed cooperative computationPRYWES, N; PNUELI, A.IEEE transactions on systems, man, and cybernetics. 1984, Vol 14, Num 2, pp 275-286, issn 0018-9472Article