Conferences in DBLP
Joxan Jaffar A CLP Approach to Modelling Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Shin-Cheng Mu , Zhenjiang Hu , Masato Takeichi An Algebraic Approach to Bi-directional Updating. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fradet , Stéphane Hong Tuan Ha Network Fusion. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Kodama , Kohei Suenaga , Naoki Kobayashi Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. [Citation Graph (0, 0)][DBLP ] Conf ] Kenny Zhuo Ming Lu , Martin Sulzmann An Implementation of Subtyping Among Regular Expression Types. [Citation Graph (0, 0)][DBLP ] Conf ] Keisuke Nakano An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Lindahl , Konstantinos F. Sagonas Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Skalka , Scott F. Smith History Effects and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Mantel , David Sands Controlled Declassification Based on Intransitive Noninterference. [Citation Graph (0, 0)][DBLP ] Conf ] Tatsuya Abe A Concurrent System of Multi-ported Processes with Causal Dependency. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel T. Wojciechowski Concurrency Combinators for Declarative Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Zining Cao A Uniform Reduction Equivalence for Process Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk). [Citation Graph (0, 0)][DBLP ] Conf ] Dana N. Xu , Siau-Cheng Khoo , Zhenjiang Hu PType System: A Featherweight Parallelizability Detector. [Citation Graph (0, 0)][DBLP ] Conf ] Kwanghoon Choi , Atsushi Ohori A Type Theory for Krivine-Style Evaluation and Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Akihito Nagata , Naoki Kobayashi , Akinori Yonezawa Region-Based Memory Management for a Dynamically-Typed Language. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Neubauer , Peter Thiemann Protocol Specialization. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Achten , Marko C. J. D. van Eekelen , Rinus Plasmeijer , Arjen van Weelden Automatic Generation of Editors for Higher-Order Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Hideyuki Kawabata , Mutsumi Suzuki , Toshiaki Kitamura A MATLAB-Based Code Generator for Sparse Matrix Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Boreale , Maria Grazia Buscemi , Ugo Montanari D-Fusion: A Distinctive Fusion Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Møller Neergaard A Functional Language for Logarithmic Space. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Ghani , Tarmo Uustalu , Varmo Vene Build, Augment and Destroy, Universally. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Hamana Free S-Monoids: A Higher-Order Syntax with Metavariables. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Odersky The Scala Experiment - Can We Provide Better Language Support for Component Systems? [Citation Graph (0, 0)][DBLP ] Conf ] Michael Eichberg , Mira Mezini , Klaus Ostermann Pointcuts as Functional Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Pao-Ann Hsiung , Shang-Wei Lin Formal Design and Verification of Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuo Kamina , Tetsuo Tamai McJava - A Design and Implementation of Java with Mixin-Types. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , Zhiming Liu , Xiaoshan Li , Shengchao Qin A Relational Model for Object-Oriented Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Zoe C. H. Yu , Francis C. M. Lau , Cho-Li Wang Exploiting Java Objects Behavior for Memory Management and Optimizations. [Citation Graph (0, 0)][DBLP ] Conf ] 