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

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

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

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

Quick language implementationGARDINER, H; LYTTLE, R. W; MILLIGAN, P et al.ICL technical journal. 1987, Vol 5, Num 4, pp 789-806, issn 0142-1557Article

Using B as a high level programming language in an industrial project : Roissy VLABADEAU, Frédéric; AMELOT, Amaud.Lecture notes in computer science. 2005, pp 334-354, issn 0302-9743, isbn 3-540-25559-1, 21 p.Conference Paper

Efficient implementation of lattice operationsHASSAN AIT-KACI; BOYER, R; LINCOLN, P et al.ACM transactions on programming languages and systems. 1989, Vol 11, Num 1, pp 115-146, issn 0164-0925Article

High-level user languages for energy management system savingsHOFFMANN, T. W.Energy engineering. 1987, Vol 84, Num 6, pp 13-27, issn 0199-8595Article

Translating Pascal for execution of a prolog-based systemWILLIAMS, M. H; CHEN, G.Computer journal (Print). 1986, Vol 29, Num 3, pp 246-252, issn 0010-4620Article

Programming an amorphous computational mediumBEAL, Jacob.Lecture notes in computer science. 2005, pp 121-136, issn 0302-9743, isbn 3-540-27884-2, 16 p.Conference Paper

A mechanically verified compiling specification for a Lisp compilerDOLD, Axel; VIALARD, Vincent.Lecture notes in computer science. 2001, pp 144-155, issn 0302-9743, isbn 3-540-43002-4Conference Paper

Using abstract state machines at Microsoft : A case studyBARNETT, M; BURGER, E; GUREVICH, Y et al.Lecture notes in computer science. 2000, pp 367-379, issn 0302-9743, isbn 3-540-67959-6Conference Paper

A model based approach to network, service and customer management systems : Object oriented technologySHOMALY, R.BT technology journal. 1993, Vol 11, Num 3, pp 123-130, issn 1358-3948Article

DAP-ada: ada facilities for SIMD architecturesDELVES, L. M; MCCRANN, M.ICL technical journal. 1987, Vol 5, Num 4, pp 778-788, issn 0142-1557Article

Die Programmiersprache CHILL = Le langage de programmation: CHILL = The programming language CHILLWINKLER, J. F. H.Automatisierungstechnische Praxis. 1986, Vol 28, Num 5, pp 252-258, issn 0178-2320Article

Graphics programming for the IBM PC using high level programming languages: FORTRAN, PASCAL and C. IIVAN ESPEN, P; NOBELS, J; LIMBOURG, J. S et al.TrAC. Trends in analytical chemistry (Regular ed.). 1986, Vol 5, Num 2, pp 34-37, issn 0165-9936Article

Cross component optimisation in a high level category-based languageASHBY, T. J; KENNEDY, A. D; O'BOYLE, M. F. P et al.Lecture notes in computer science. 2004, pp 654-661, issn 0302-9743, isbn 3-540-22924-8, 8 p.Conference Paper

CIL: Intermediate language and tools for analysis and transformation of C programsNECULA, George C; MCPEAK, Scott; RAHUL, Shree P et al.Lecture notes in computer science. 2002, pp 213-228, issn 0302-9743, isbn 3-540-43369-4Conference Paper

High-level scientific programming with PythonHINSEN, Konrad.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 3, 691-700Conference Paper

High-level reformulation of constraint programsHNICH, Brahim; FLENER, Pierre.JFPLC'2001 : journées francophones de programmation en logique et de programmation par contraintes. 2001, pp 76-89, isbn 2-7462-0255-7Conference Paper

Les langages de programmation : une moderne Babel = Programming languages: a modern BabelARSAC, J.La Vie des sciences. 1996, Vol 13, Num 1, pp 25-38, issn 0762-0969Article

C-MAP : a high-level language for engineering analysis and designHA, K. H.Microcomputers in civil engineering. 1990, Vol 5, Num 4, pp 307-326, issn 0885-9507, 20 p.Article

C++: Evolving toward a more powerful languageCOPLIEN, J. O; DEWHURST, S. C; KOENIG, A. R et al.AT&T technical journal. 1988, Vol 67, Num 4, pp 19-32, issn 8756-2324Article