HOPL

Computer Languages, Elsevier 1976 -

(0)

(1976) Computer Languages 1(1)
Stewart, S.L. (1976)Stewart, S.L. "STAPLE, An Experimental Structured Programming Language" pp61-71
(1976) Computer Languages 1(3) September 1976
Basili, V. R. (1975)Basili, V. R. "A Structured Approach to Language Design" pp255-273
(1977) Computer Languages 2(1-2)
Bays, J. C. (1976)Bays, J. C. "An Animation Description Language" pp1-8
Huang, H. K., R. S. Ledley, et al. (1976)Huang, H. K., R. S. Ledley, et al. "DILOG - digital intelligence logic machine"
(1977) Computer Languages 2(3)
Gehani, Narain H. (1977)Gehani, Narain H. "Units of Measure as a Data Attribute" pp93-111
Newton, Glen E.; Starkey, J. Denbigh (1977)Newton, Glen E.; Starkey, J. Denbigh "SESPOOL, A Language for Systems Programming" pp75-91
(1977) Computer Languages 2(4)
Tharp, A. L. (1977)Tharp, A. L. "A comparison of COBOL, FORTRAN, PL/I and SPITBOL"
(1978) Computer Languages 3(3)
Bachmann, W. and H. Schwarze (1978)Bachmann, W. and H. Schwarze "Solmar --- a Computer Language for Utilizing Sonar Models"
Hanson, David R. (1978)Hanson, David R. "Data Structures in SL5"
Konopasek, M. and C. Papaconstadopoulos (1978)Konopasek, M. and C. Papaconstadopoulos "Question Answering System on Mathematical Models (QAS): Description of the Language"
(1979) Computer Languages 4(1)
Nagata, H. (1979)Nagata, H. "EQL: a Language for Numerical Computation"
Schwartz, R. L. and D. M. Berry (1979)Schwartz, R. L. and D. M. Berry "A semantic view of ALGOL 68"
(1979) Computer Languages 4(3-4)
Pagan, F. G. (1979)Pagan, F. G. "Semantic Specification Using Two-Level Grammars: Blocks, Procedures and Parameters"
Wasserman, A. I. (1979)Wasserman, A. I. "Testing and Verification Aspects of Pascal-Like Languages"
(1980) Computer Languages 5(2)
Celentano, A., P. D. Vigna, et al. (1980)Celentano, A., P. D. Vigna, et al. "Simple: a Program Development System"
(1981) Computer Languages 6(2)
Johnson, M. S. (1981)Johnson, M. S. "Dispel - a Run-Time Debugging Language"
(1982) Computer Languages 7(1)
Budd, T. A. (1982)Budd, T. A. "An Implementation of Generators in C" pp69-87
Gini, G. C. and M. L. Gini (1982)Gini, G. C. and M. L. Gini "Interactive Development of Object Handling Programs."
Salter, R. (1983)Salter, R."Concurrent Applicative Implementations of Nondeterministic Algorithms"
(1982) Computer Languages 7(2)
Messerschmidt, J. and R. Wilhelm (1982)Messerschmidt, J. and R. Wilhelm "Constructors from composed objects"
(1982) Computer Languages 7(3-4)
Barman, M. (1982)Barman, M. "Lass - a Language for Stochastic Systems"
(1983) Computer Languages 8(2)
Griswold, Ralph E. (1983)Griswold, Ralph E. "Implementing SNOBOL4 Pattern Matching in Icon"
(1984) Computer Languages 9(1)
Bossi, Annalisa; Ghezzi, Carlo (1984)Bossi, Annalisa; Ghezzi, Carlo "Using FP as a Query Language for Relational Data-Bases" pp25-37
(1984) Computer Languages 9(2)
Papazoglou, M P.; Georgiadis, P I.; Maritsas, D G (1984)Papazoglou, M P.; Georgiadis, P I.; Maritsas, D G. "An outline of the programming language SIMULA" pp107 - 131
Patnaik, L. M., P. Bhattacharya, et al. (1984)Patnaik, L. M., P. Bhattacharya, et al. "DFL: a Data Flow Language."
(1984) Computer Languages 9(3)
Patnaik, L. (1984)Patnaik, L. et al, Implementation of CSP-S for Description of Distributed Algorithms pp193-202
(1985) Computer Languages 10(2)
Matwin, S. and T. Pietrzykowski (1985)Matwin, S. and T. Pietrzykowski "Prograph: a Preliminary Report"
(1986) Computer Languages 11(1)
Gehlot, V. and Y. N. Srikant (1986)Gehlot, V. and Y. N. Srikant "Interpreter for SLIPS --- an Applicative Language Based on Lambda-Calculus"
Zave, P. (1986)Zave, P. "Case Study: The Paisley Approach Applied to its Own Software Tools"
(1986) Computer Languages 11(2)
Michaelson, G. (1986)Michaelson, G. "Interpreters from Functions and Grammars"
(1986) Computer Languages 11(3-4)
Bailes, P. A. (1986)Bailes, P. A. "Static Checking of Variable Handling in Dijkstra's Guarded Commands Language"
Donnan, G. and M. E. C. Hull (1986)Donnan, G. and M. E. C. Hull "On Processes, Synchronization and Redundant Code in Communicating Sequential Processes"
(1987) Computer Languages 12(1)
Hull, M. E. C. (1987)Hull, M. E. C. "Occam --- a Programming Language for Multiprocessor Systems."
Rubenstein, M. C. and R. M. Salter (1987)Rubenstein, M. C. and R. M. Salter "Computationally Extended Logic Programming"
(1987) Computer Languages 12(2)
(1988) Computer Languages 13(1)
Griswold, R. E. and J. O'Bagy (1988)Griswold, R. E. and J. O'Bagy "Seque: a Programming Language for Manipulating Sequences"
Liu, K.-C. (1988)Liu, K.-C. "On String Pattern Matching: a Quantitative Analysis and a Proposal"
(1988) Computer Languages 13(2)
Barnard, D. T. and J. R. Cordy (1988)Barnard, D. T. and J. R. Cordy "SL parses the LR languages"
Fisher, A. J. (1988)Fisher, A. J. "A critique of Occam channel types"
Pohl, I. and D. Edelson (1988)Pohl, I. and D. Edelson "A to Z: C language shortcomings."
(1988) Computer Languages 13(3-4)
Casanova, M. A. and A. L. Furtado (1988)Casanova, M. A. and A. L. Furtado "String pattern-matching in Prolog"
Djakovic, D. D. (1988)Djakovic, D. D. "RASP - a language with operations on fuzzy set"
(1989) Computer Languages 14(1)
Jenkins, M. A. and J. I. Glasgow (1989)Jenkins, M. A. and J. I. Glasgow "A logical basis for nested array data structures"
(1989) Computer Languages 14(2)
Barnard, D. T. and J. R. Cordy (1989)Barnard, D. T. and J. R. Cordy "Automatically generating SL parsers from LL1) grammars"
(1989) Computer Languages 14(3)
Edelson, D. and I. Phol (1989)Edelson, D. and I. Phol "C++: solving C's shortcomings?"
Leszczylowski, J. and J. M. Bieman (1989)Leszczylowski, J. and J. M. Bieman "Prosper. A language for specification by prototyping"
Walker, K. W. (1989)Walker, K. W. "First-class patterns for Icon"
(1989) Computer Languages 14(4)
Bourbakis, N. G., C. Alexopoulos, et al. (1989)Bourbakis, N. G., C. Alexopoulos, et al. "A parallel implementation of the SCAN language"
Coffin, M. and R. A. Olsson (1989)Coffin, M. and R. A. Olsson "An SR approach to multiway rendezvous"
(1990) Computer Languages 15(1)
Huang, D. T. and R. A. Olsson (1990)Huang, D. T. and R. A. Olsson "An exception handling mechanism for SR"
Nilsen, K. (1990)Nilsen, K. "A stream data type that supports goal-directed pattern matching on unbounded sequences of values"
(1990) Computer Languages 15(3)
Liu, L. Y. and R. K. Shyamasundar (1990)Liu, L. Y. and R. K. Shyamasundar "Exception handling in RT-CDL"
(1990) Computer Languages 15(4)
Kreutzer, W. and M. Stairmand (1990)Kreutzer, W. and M. Stairmand "C-Flavours: A Scheme-based flavour system with coroutines and its application to the design of object-oriented simulation software"
(1991) Computer Languages 16(1)
Cordy, J. R.; Halpern, C. D.; and Promislaw, E. (1991)Cordy, J. R.; Halpern, C. D.; and Promislaw, E. "TXL: A rapid prototyping system for programming language dialects"
Garg, V. K. and C. V. Ramamoorthy (1991)Garg, V. K. and C. V. Ramamoorthy "ConC. A language for concurrent programming"
Lin, K.-J. and S. Natarajan (1991)Lin, K.-J. and S. Natarajan "FLEX: Towards Flexible Real-Time Programs"
(1991) Computer Languages 16(2)
Berzins, V. (1991). (1991)Berzins, V. (1991). "Black-box specification in Spec."
(1991) Computer Languages 16(3/4)
J. Placer (1991)J. Placer "The Multiparadigm Language G"
Scott, M.L. (1991)Scott, M.L. "The Lynx Distributed Programming Language: Motivation, Design and Experience", pp209-233
(1992) Computer Languages 17(2)
Barnard, D. T. and D. B. Skillicorn (1992)Barnard, D. T. and D. B. Skillicorn "Context-free parsing on $On)$ processors"
(1992) Computer Languages 17(3)
Jen-Yen Chen and Pei Hsia (1992)Jen-Yen Chen and Pei Hsia "MDL (Methodology Definition Language): a language for defining and automating software development processes" pp199-211
Sheard, T. and D. Stemple (1992)Sheard, T. and D. Stemple "Inheritance of theory in the ADABTPL language"
(1992) Computer Languages 17(4)
Liao, H. (1992)Liao, H. "Removing partial parametrization for efficient implementation of functional languages."
(1993) Computer Languages 18(1)
Radha, S. and C. R. Muthukrishnan (1993)Radha, S. and C. R. Muthukrishnan "A portable implementation of UNITY on von Neumann machines"
(1993) Computer Languages 18(3)
Kuhn, E., H. Pohlai, et al. (1993)Kuhn, E., H. Pohlai, et al. "Concurrency and backtracking in Vienna Parallel Logic"
Sarwar, S. M. (1993)Sarwar, S. M. "Run-time behavior of SASL programs: a performance study."
Talia, D. (1993)Talia, D. "A survey of PARLOG and Concurrent Prolog: the integration of logic and parallelism"
(1993) Computer Languages 18(4)
O'Bagy, Janalee; Walker, Kenneth; Ralph Griswold: (1993)O'Bagy, Janalee; Walker, Kenneth; Ralph Griswold: E. "An Operational Semantics for Icon: Implementation of a Procedural Goal-Directed Language"
(1993) Computer Languages 19,3 (July 1993)
Malton, Andrew J. (1993)Malton, Andrew J. "The Denotational Semantics of a Functional Tree-Manipulation Language" pp.157-168.
(1994) Computer Languages 20(1)
Liu, L. Y. and R. K. Shyamasundar (1994). (1994)Liu, L. Y. and R. K. Shyamasundar (1994). "RT-CDL: A distributed real-time design language and its operational semantics."
(1994) Computer Languages 20(4)
Ruenger, G. and K. Sieber (1994)Ruenger, G. and K. Sieber "A process oriented semantics of the PRAM-language FORK"
(1995) Computer Languages 21(2)
Golubski, W. and W.-M. Lippe (1995)Golubski, W. and W.-M. Lippe "A complete semantics for SMALLTALK-80"
Kam-Wing Ng and Chi-Keung Luk. I+: A Mulitparadigm (1995)Kam-Wing Ng and Chi-Keung Luk. I+: A Mulitparadigm Languages for Object-Oriented Declarative Programming"
(1996) Computer Languages 22(2-3)
Michel, O. (1996). (1996)Michel, O. (1996). "Design and implementation of 8½: a declarative data-parallel language.":
(1996) Computer Languages 22(4) December, 1996
Feng, M. (1996)Feng, M. D. and W. F. Wong and C. K. Yuen BaLinda Lisp: design and implementation
(1997) Computer Languages 23(1) April 1997
Al-Mulhem, Muhammed and Ali, Shahid (1997)Al-Mulhem, Muhammed and Ali, Shahid "Visual Occam: syntax and semantics"
(1997) Computer Languages 23(2-4)
Chakravarty, M. M. T. and H. C. R. Lock (1997)Chakravarty, M. M. T. and H. C. R. Lock "Towards the uniform implementation of declarative languages"
Diaz, M., B. Rubio, et al. (1997). (1997)Diaz, M., B. Rubio, et al. (1997). "DRL: a distributed real-time logic language"
(1998) Computer Languages 23(1)
Cooke, D. E. (1998)Cooke, D. E. "SequenceL provides a different way to view programming"
Lee, J. H. M. and P. K. C. Pun (1997). (1997)Lee, J. H. M. and P. K. C. Pun (1997). "Object logic integration: A multiparadigm design methodology and a programming language"
(1998) Computer Languages 23(2)
Al-Mulhem, M. and S. Ali (1998). (1998)Al-Mulhem, M. and S. Ali (1998). "Formal semantics of Visual Occam."
(1998) Computer Languages 24(3)
Rondogiannis, P., M. Gergatsoulis, et al. (1998)Rondogiannis, P., M. Gergatsoulis, et al. "Branching-time logic programming: the language Cactus and its applications"
(1998) Computer Languages 24(4)
Yuen, C. K. and M. D. Feng (1999)Yuen, C. K. and M. D. Feng "Active objects as atomic control structures in BaLinda K"
(2000) Computer Languages 25(3)
Franz Achermann, Markus Lumpe, Jean-Guy Schneider (2001)Franz Achermann, Markus Lumpe, Jean-Guy Schneider and Oscar Nierstrasz, “Piccola — a Small Composition Language,” Formal Methods for Distributed Processing — A Survey of Object-Oriented Approaches, Howard Bowman and John Derrick (Eds.), pp. 403-426, Cambridge University Press, 2001