Denotational semantics of communicating processes based on a language for applicative multiprogrammingBROY, M.Information processing letters. 1983, Vol 17, Num 1, pp 29-35, issn 0020-0190Article

A simple technique for converting from a Pascal shop to a C shopLALONDE, W. R; PUGH, J. R.Software, practice & experience. 1983, Vol 13, Num 9, pp 771-775, issn 0038-0644Article

Language extensions for specifying program access control policies in programming languagesCLAYBROOK, B. G; REX HARTSON, H.The Journal of systems and software. 1983, Vol 3, Num 2, pp 155-162, issn 0164-1212Article

The programming language P^tCAILLIAU, R.Journal A. 1983, Vol 24, Num 4, pp 184-186, issn 0771-1107Article

The implementation of generators and goal-directed evaluation in iconWAMPLER, S. B; GRISWOLD, R. E.Software, practice & experience. 1983, Vol 13, Num 6, pp 495-518, issn 0038-0644Article

Simple programming languages and restricted classes of turning machinesIBARRA, C. H; ROSIER, L. E.Theoretical computer science. 1983, Vol 26, Num 1-2, pp 197-220, issn 0304-3975Article

Zur Konzeptionellen Lücke Zwischen Problembeschreibungen und Programmierspracheneinsatz = Une ouverture conceptuelle entre l'énoncé du problème et l'application des langages de programmation = On the conceptual gap between problem statement and application on programming languagesKREKEL, D.Angewandte Informatik. 1983, Vol 25, Num 10, pp 424-433, issn 0013-5704Article

Higher level programming and data abstractions. A case study using enhanced CKATZENELSON, J.Software, practice & experience. 1983, Vol 13, Num 7, pp 577-595, issn 0038-0644Article

An iteration theorem for simple precedence languagesKREVNER, Y; YEHUDAI, A.Journal of the Association for Computing Machinery. 1983, Vol 30, Num 4, pp 820-833, issn 0004-5411Article

On the design of a special-purpose scientific programming languageKNIGHT, J. C; DUNLOP, D. D.Software, practice & experience. 1983, Vol 13, Num 10, pp 893-907, issn 0038-0644Article

The implementation of retention in a coroutine environmentKEARNS, J. P; SOFFA, M. L.Acta informatica. 1983, Vol 19, Num 3, pp 221-233, issn 0001-5903Article

Models of programs and processesMAYOH, B. H.Information processing letters. 1983, Vol 17, Num 4, pp 211-214, issn 0020-0190Article

Einführung in die Programmiersprache PASCAL = Introduction au Langage de programmation Pascal = Introduction into the programming Language PASCALPAULIN, G; SCHIEMANGK, H.Nachrichtentechnik. Elektronik. 1983, Num 10, pp 425-428, issn 0323-4657Article

Result sequencesWAMPLER, S. B; GRISWOLD, R. E.Computer languages. 1983, Vol 8, Num 1, pp 1-14, issn 0096-0551Article

The use of combinators in translating a purely functional language to low-level data-flow graphsMAURER, P. M; OLDEHOEFT, A. E.Computer languages. 1983, Vol 8, Num 1, pp 27-45, issn 0096-0551Article

Prolog, bases théoriques et développements actuelsCOLMERAUER, A; KANOUI, H; VAN CANEGHEM, M et al.TSI. Technique et science informatiques. 1983, Vol 2, Num 4, pp 271-311, issn 0752-4072Article

Pascal: langages d'écriture de systèmesLECARME, O.sd, 1 p.Article

ADADAVID, D.-J.sd, pp 1-16Article

BASICLEROY, B.sd, pp 1-10Article

Hiord: A type-free higher-order logic programming language with predicate abstractionCABEZA, Daniel; HERMENEGILDO, Manuel; LIPTON, James et al.Lecture notes in computer science. 2004, pp 93-108, issn 0302-9743, isbn 3-540-24087-X, 16 p.Conference Paper

Specification and Verification: The Spec# ExperienceBARNETT, Mike; FÄHNDRICH, Manuel; LEINO, K. Rustan M et al.Communications of the ACM. 2011, Vol 54, Num 6, pp 81-91, issn 0001-0782, 11 p.Article

Unraveling Algol: US, Europe, and the Creation of a Programming Language = Les Etats-Unis, l'Europe et la création d'un langage de programmation : l'AlgolNOFRE, David.IEEE Annals of the history of computing. 2010, Vol 32, Num 2, pp 58-68, issn 1058-6180, 11 p.Article

Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XV)ACM SIGPLAN notices. 2010, Vol 45, Num 3, issn 1523-2867, 419 p.Conference Proceedings

An Overview of the Oregon Programming Languages Summer SchoolALLEN, Jim; ARIOLA, Zena; ZDANCEWIC, Steve et al.ACM SIGPLAN notices. 2009, Vol 44, Num 11, pp 1-8, issn 1523-2867, 8 p.Article

Forth & Small Systems ReportFRENGER, Paul.ACM SIGPLAN notices. 2008, Vol 43, Num 5, pp 5-9, issn 1523-2867, 5 p.Article