Conferences in DBLP
Henrik Reif Andersen Model Checking and Boolean Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Benveniste , Michel Le Borgne , Paul Le Guernic SIGNAL as a Model for Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Bernot , Michel Bidoit , Teodor Knapik Towards an Adequate Notion of Observation. [Citation Graph (0, 0)][DBLP ] Conf ] David Bernstein , Michael Rodeh , Shmuel Sagiv Proving Safety of Speculative Load Instructions at Compile Time. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Nicoletta Cocco , Massimo Fabris Typed Norms. [Citation Graph (0, 0)][DBLP ] Conf ] X. J. Chen , Carlo Montangero Compositional Refinements in Multiple Blackboard Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tyng-Ruey Chuang Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Danvy Back to Direct Style. [Citation Graph (0, 0)][DBLP ] Conf ] Kyung-Goo Doh , David A. Schmidt Extraction of Strong Typing Laws from Action Semantics Definitions. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi , Laura Ricci Detecting Determinate Computations by Bottom-up Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Gnaedig ELIOS-OBJ Theorem Proving in a Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Goldberg Incremental Garbage Collection Without Tags. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Hankin , Sebastian Hunt Approximate Fixed Points in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Fritz Henglein Dynamic Typing. [Citation Graph (0, 0)][DBLP ] Conf ] Guido Hogen , Andrea Kindler , Rita Loogen Automatic Parallelization of Lazy Functional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John Hughes , John Launchbury Reversing Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] Conf ] Mark P. Jones A Theory of Qualified Types. [Citation Graph (0, 0)][DBLP ] Conf ] Padmanabhan Krishnan A Semantics for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Larchevêque Interprocedural Type Propagation for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Luc Levaire Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson , Hanne Riis Nielson The Tensor Product in Wadler's Analysis of Lists. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nieuwenhuis , Albert Rubio Basic Superposition is Complete. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Odersky Observers for Linear Types. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick O'Keefe , Mitchell Wand Type Inference for Partial Types is Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Palsberg A Provably Correct Compiler Generator. [Citation Graph (0, 0)][DBLP ] Conf ] S. Purushothaman , Jill Seaman An Adequate Operational Semantics for Sharing in Lazy Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Tarlecki Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew K. Wright Typing References by Effect Inference. [Citation Graph (0, 0)][DBLP ] Conf ] 