Conferences in DBLP
Thomas P. Jensen Abstract Interpretation over Algebraic Data Types. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:- [Conf ] David A. Ladd , J. Christopher Ramming A*: a Language for Implementing Language Processors. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:1-10 [Conf ] Todd A. Cook , Edwin A. Harcourt A Functional Specification Language for Instruction Set Architectures. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:11-19 [Conf ] Alan G. Yoder , David L. Cohn Real Spreadsheets for Real Programmers. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:20-30 [Conf ] Yong-Fong Lee , Barbara G. Ryder , Marc E. Fiuczynski Region Analysis: A Parallel Elimination Method for Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:31-42 [Conf ] Mark Chu-Carroll , Lori L. Pollock Composites: Trees for Data Parallel Programming. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:43-54 [Conf ] Kenneth D. Landry , James D. Arthur Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in Linda. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:55-63 [Conf ] Taizo Kojima , Akira Sugimoto Customizing C++ to Improve the Reusability of Class Libraries. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:64-73 [Conf ] Suresh Jagannathan Dynamic Modules in Higher-Order Languages. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:74-87 [Conf ] Dennis M. Volpano Haskell-style Overloading is NP-hard. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:88-94 [Conf ] Patrick Cousot , Radhia Cousot Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:95-112 [Conf ] Kazuki Yasumatsu , Norihisa Doi SPiCE: A System for Translating Smalltalk Programs into a C Environment. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:113-123 [Conf ] Raju Pandey , James C. Browne A Compositional Approach to Concurrent Object-Oriented Programming. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:124-135 [Conf ] Arthur H. Lee , Joseph L. Zachary Using Metaprogramming to Add Persistence to CLOS. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:136-147 [Conf ] Michael Hitchens , John Rosenberg A Three-level Object-Based Model. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:148-158 [Conf ] Ichiro Satoh , Mario Tokoro Semantics for a Real-Time Object-Oriented Programming Language. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:159-170 [Conf ] María Alpuente , Moreno Falaschi , María José Ramis , Germán Vidal A Compositional Semantics for Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:171-182 [Conf ] Robert Glück , Jesper Jørgensen Generating Optimizing Specializers. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:183-194 [Conf ] Jean Paul Bahsoun , Jean-Pierre Briot , Denis Caromel , Louis Féraud , Oscar Nierstrasz , Peter Wegner How could object-oriented concepts and parallelism cohabit? [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:195-199 [Conf ] K. Gary Chan , H. Lewis Chau Visual Language for Behavioral Specifications of Reactive Systems. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:200-210 [Conf ] Muriel Jourdan , Fabienne Lagnier , Florence Maraninchi , Pascal Raymond A Multiparadigm Language for Reactive Systems. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:211-218 [Conf ] Marcos A. Rodrigues , Chris W. Loftus , Mark Ratcliffe , Youfu Li Structure Notation of Dynamic Systems: A Pictorial Language Approach. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:219-228 [Conf ] Ana M. Erosa , Laurie J. Hendren Taming Control Flow: A Structured Approach to Eliminating Goto Statements. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:229-240 [Conf ] Manuel Vilares Ferro , Bernard Dion Efficient Incremental Parsing for Context-Free Languages. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:241-252 [Conf ] Feipei Lai , Yung-kuang Chao The Complementary Relationship of Interprocedural Register Allocation and Inlining. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:253-264 [Conf ] Jyh-Herng Chow , Williams Ludwell Harrison III State Space Reduction in Abstract Interpretation of Parallel Programs. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:265-276 [Conf ] Jens Palsberg , Michael I. Schwartzbach Binding-time Analysis: Abstract Interpretation versus Type Inference. [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:277-288 [Conf ] Boleslaw K. Szymanski , John Feo , J. Hicks , J. Jagannathan , Vivek Sarkar , David B. Skillicorn Is there a future for functional languages in parallel programming? [Citation Graph (0, 0)][DBLP ] ICCL, 1994, pp:299-304 [Conf ]