External Links

    Journal: SIGPLAN Notices

    Volume 37, Issue 8

    6 -- 8Paul Frenger. Quartus forth for the palm pilot
    9 -- 14Chris Clark. Conflicts
    15 -- 16Thomas W. Christopher. HPC is a strange land
    19 -- 24Elliott Hughes. How many trivial getter methods does java have?
    25 -- 34Taewoong Jeon, Hyonwoo Seung, Sungyoung Lee. Embedding built-in tests in hot spots of an object-oriented framework
    35 -- 44Francisco Ortín Soler, Juan Manuel Cueva Lovelle. Implementing a real computational-environment jump in order to develop a runtime-adaptable reflective platform
    45 -- 52Zhenqiang Chen, Baowen Xu, Jianjun Zhao. An overview of methods for dependence analysis of concurrent programs
    53 -- 65Dhananjay M. Dhamdhere. E-path_PRE: partial redundancy elimination made easy
    66 -- 71Kyung-Goo Doh, Seung Cheol Shin. Detection of information leak by data flow analysis

    Volume 37, Issue 6

    14 -- 17Paul Frenger. Forth s DOOM
    18 -- 25Joseph Bergin, Russel L. Winder. Understanding object-oriented programming
    28 -- 37Haiming Chen, Yunmei Dong. Yet another meta-language for programming language processing
    38 -- 44Dai Guilan, Tian Jinlan, Zhang Suqing, Jiang Weidu, Dai Jun. Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr
    45 -- 51Dai Guilan, Zhang Suqing, Tian Jinlan, Jiang Weidu. A study of compiler techniques for multiple targets in compiler infrastructures
    52 -- 58Oleg Kiselyov. SXML specification
    59 -- 81W. Paul Cockshott. Vector Pascal reference manual
    82 -- 92Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang. Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique

    Volume 37, Issue 4

    1 -- 3Norman Ramsey. LATEX Support for Proceedings
    17 -- 20Paul Frenger. Forth report: strap-on Forth
    21 -- 26G. Alan Creak. Programming lessons from days gone by: Cobol, stewed for students
    27 -- 28Thomas W. Christopher. Communicating reactive objects: message-driven parallelism
    31 -- 0Conrad Weisert. Pseudo object-oriented programming considered harmful
    32 -- 41Karen Zee, Martin C. Rinard. Write barrier removal by static analysis
    42 -- 53Yumin Zhang, Xiaobo Hu, Danny Z. Chen. Efficient global register allocation for minimizing energy consumption
    54 -- 56Diomidis Spinellis. A modest proposal for curing the public field phobia
    57 -- 61Pascal Ledru. Smart proxies for Jini services
    62 -- 73César F. Acebal, Raúl Izquierdo Castanedo, Juan Manuel Cueva Lovelle. Good design principles in a compiler university course
    74 -- 82Paul Damian Wells. The HSSM macro-architecture, Virtual Machine and H languages

    Volume 37, Issue 2

    1 -- 0Jay Fenwick, Cindy Norris. Thank you, Seth
    14 -- 19Julian V. Noble. Jump Tables and State Machines
    20 -- 22Thomas W. Christopher. What Should Be In a Parallel Library
    23 -- 26G. Alan Creak. Programming lessons from days gone by: Backward ran sentences until reeled the mind
    29 -- 35Prabhat K. Singh, Arun Lakhotia. Analysis and Detection of Computer Viruses and Worms: An Annotated Bibliography
    36 -- 44Awais Rashid. Weaving Aspects in a Persistent Environment
    45 -- 52Bernd Kühl, Axel-Tobias Schreiner. Objects for Lexical Analysis
    53 -- 56Robert M. Siegfried. A Scripting Language to Help the Blind to Program Visually
    57 -- 67Nadia Nedjah, Luiza de Macedo Mourelle. Efficient Concise Deterministic Pattern-Matching Automata for Ambiguous Patterns
    68 -- 70Zongyan Qiu. Bit Vector Encoding of N-Queen Problem

    Volume 37, Issue 12

    9 -- 13Paul Frenger. Going APE.FORTH to mars
    9 -- 13Paul Frenger. Going APE.FORTH to mars
    14 -- 16G. Alan Creak. Edsger W. Dijkstra
    14 -- 16G. Alan Creak. Edsger W. Dijkstra
    17 -- 0Cindy Norris. Introduction to special issue
    17 -- 0Cindy Norris. Introduction to special issue
    18 -- 24Thomas Arts, Lars-Åke Fredlund. Trace analysis of Erlang programs
    18 -- 24Thomas Arts, Lars-Åke Fredlund. Trace analysis of Erlang programs
    25 -- 34Ulf Wiger, Gösta Ask, Kent Boortz. World-class product certification using Erlang
    25 -- 34Ulf T. Wiger, Gösta Ask, Kent Boortz. World-class product certification using Erlang
    35 -- 46Koen Claessen, Gordon J. Pace. An embedded language approach to teaching hardware compilation
    35 -- 46Koen Claessen, Gordon J. Pace. An embedded language approach to teaching hardware compilation
    47 -- 59Koen Claessen, John Hughes. Testing monadic code with QuickCheck
    47 -- 59Koen Claessen, John Hughes. Testing monadic code with QuickCheck
    60 -- 75Tim Sheard, Simon L. Peyton Jones. Template meta-programming for Haskell
    60 -- 75Tim Sheard, Simon L. Peyton Jones. Template meta-programming for Haskell
    76 -- 87Jean-Louis Giavitto, Olivier Michel, Julien Cohen. Pattern-matching and rewriting rules for group indexed data structures
    76 -- 87Jean-Louis Giavitto, Olivier Michel, Julien Cohen. Pattern-matching and rewriting rules for group indexed data structures
    88 -- 97Martin Erwig, Deling Ren. A rule-based language for programming software updates
    88 -- 97Martin Erwig, Deling Ren. A rule-based language for programming software updates
    98 -- 107Jan Friso Groote, Bert Lisser. Computer assisted manipulation of algebraic process specifications
    98 -- 107Jan Friso Groote, Bert Lisser. Computer assisted manipulation of algebraic process specifications
    108 -- 119Miguel J. Hornos, Manuel I. Capel. On-the-fly model checking from interval logic specifications
    108 -- 119Miguel J. Hornos, Manuel I. Capel. On-the-fly model checking from interval logic specifications
    runs on