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

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

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

LCTES'10: Proceedings of the ACM SIGPLAN/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded SystemsACM SIGPLAN notices. 2010, Vol 45, Num 4, issn 1523-2867, 180 p.Conference Proceedings

PPoPP'09: Proceedings of the 2009 ACM SIGPLAN Symposium on Principles and Practice of Parallel ProgrammingACM SIGPLAN notices. 2009, Vol 44, Num 4, issn 1523-2867, 319 p.Conference Proceedings

Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XIII)ACM SIGPLAN notices. 2008, Vol 43, Num 3, issn 1523-2867, 344 p.Conference Proceedings

Proceedings of the 2008 ACM SIGPLAN Conference on Programming Languages Design Implementation (PLDI 2008)ACM SIGPLAN notices. 2008, Vol 43, Num 6, issn 1523-2867, 392 p.Conference Proceedings

Using Programming Language Concepts to Teach General Thinking SkillsRINARD, Martin.ACM SIGPLAN notices. 2008, Vol 43, Num 11, pp 111-118, issn 1523-2867, 8 p.Conference Paper

12th International Conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, CaliforniaACM SIGPLAN notices. 2006, Vol 41, Num 11, issn 1523-2867, 440 p.Conference Proceedings

Programming languages and systems (Third Asian symposium, APLAS 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-29735-9, 1Vol, XIII-433 p, isbn 3-540-29735-9Conference Proceedings

Langages applicatifs : spécification, programmation, vérificationMENISSIER-MORAIN, Valérie.TSI. Technique et science informatiques. 2005, Vol 24, Num 9, issn 0752-4072, 135 p.Serial Issue

Programming languages and systems (Taipei, 4-6 November 2004)Chin, Wei-Ngan.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-23724-0, XIII, 452 p, isbn 3-540-23724-0Conference Proceedings

JFLA 2002 : journées francophones des langages applicatifs (Anglet, 28-29 janvier 2002)Journées francophones des langages applicatifs. 2002, isbn 2-7261-1197-1, 168 p., isbn 2-7261-1197-1Conference Proceedings

Programmation séquentielle avec ADA 95Breguet, Pierre; Zaffalon, Luigi.1999, isbn 2-88074-404-0, XVI, 384 p, isbn 2-88074-404-0Book

Langages de programmation = Programming languages. IntroductionROBINET, Bernard.Techniques de l'ingénieur. Informatique. 1994, Vol HB1, Num H2000, pp H2000.1-H2000.2, issn 0245-9612Article

AdaGAUTHIER, Michel.Techniques de l'ingénieur. Informatique. 1993, Vol HB2, Num H2280, pp H2280.1-H2280.12, issn 0245-9612Article

Control-driven, data-driven and demand-driven computer architectureTRELEAVEN, P. C.Parallel computing. 1985, Vol 2, Num 3, pp 287-288, issn 0167-8191Article