Conferences in DBLP
Donald Sannella The Common Framework Initiative for Algebraic Specification and Development of Software. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita V. Korovina , Oleg V. Kudinov A Logical Approach to Specification of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Claude Gaudel , Alexandre V. Zamulin Algebraic Imperative Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Anlauff , Philipp W. Kutter , Alfonso Pierantonio Enhanced Control Flow Graphs in Montages. [Citation Graph (0, 0)][DBLP ] Conf ] Asuman Sünbül Abstract State Machines for the Composition of Architectural Styles. [Citation Graph (0, 0)][DBLP ] Conf ] Neil D. Jones The Essence of Program Transformation by Partial Evaluation and Driving. [Citation Graph (0, 0)][DBLP ] Conf ] Niels H. Christensen , Robert Glück , Søren Laursen Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glück , Michael Leuschel Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan C. Martin , Michael Leuschel Sonic Partial Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Jens P. Secher , Morten Heine Sørensen On Perfect Supercompilation. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Æ. Mogensen Linear Time Self-Interpretation of the Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Denis L. Uvarov An Optimal Algorithm for Purging Regular Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Plümicke Polymorphism in OBJ-P. [Citation Graph (0, 0)][DBLP ] Conf ] J. Paul Gibson , Dominique Méry Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Dmitri Chkliaev , Jozef Hooman , Peter van der Stok Serializability Preserving Extensions of Concurrency Control Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Yury V. Chelomin Platform Independent Approach for Detecting Shared Memory Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] A. P. Ustimenko Hierarchical Cause-Effect Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Irina A. Lomazova , Ph. Schnoebelen Some Decidability Results for Nested Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Ciobanu , Emanuel Florentin Olariu Abstract Structures for Communication between Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Dekhtyar , Alexander Ja. Dikovsky , Mars K. Valiev Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Man Lin , Jacek Malec , Simin Nadjm-Tehrani On Semantics and Correctness of Reactive Rule-Based Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Mads Dam , Dilian Gurov Compositional Verification of CCS Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Trichina Compositional Style of Programming FPGAs. [Citation Graph (0, 0)][DBLP ] Conf ] Victor R. Basili , Forrest Shull , Filippo Lanubile Using Experiments to Build a Body of Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Kucherov , Michaël Rusinowitch Patterns in Words versus Patterns in Trees: A Brief Survey and New Results. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Caballero , Francisco Javier López-Fraguas Extensions: A Technique for Structuring Functional-Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] S. S. Kobilov Language Tools and Programming Systems in Educational Informatics. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald Morrison , Richard C. H. Connor , Quintin I. Cutts , Alan Dearle , Alex Farkas , Graham N. C. Kirby , Robert McGettrick , Evangelos Zirintsis Current Directions in Hyper-Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Frank Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data. [Citation Graph (0, 0)][DBLP ] Conf ] Sima Asgari , Naoki Yonezaki A General Object-Oriented Model for Spatial Data. [Citation Graph (0, 0)][DBLP ] Conf ] Hanspeter Mössenböck Twin - A Design Pattern for Modeling Multiple Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] S. Kazem Lellahi , Rachid Souah A Partial Semantics for Object Data Models with Static Binding. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Simonis , Roland Weiss Heterogeneous, Nested STL Containers in C++ . [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir I. Shelekhov , Sergey V. Kuksenko Data Flow Analysis of Java Programs in the Presence of Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Hof Late Adaptation of Method Invocation Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Castro , Eric Monfroy A Control Language for Designing Constraint Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Benhamou , Frédéric Goualard , Eric Languénou , Marc Christie An Algorithm to Compute Inner Approximations of Relations for Interval Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Sidorov , Vitaly Telerman , Dmitry Ushakov Constraint Programming Techniques for Solving Problems on Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Tatyana M. Yakhno , Evgueni S. Petrov Extensional Set Library for ECLi PSe . [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Schneider , Viktor K. Sabelfeld Introducing Mutual Exclusion in Esterel. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Anderson , Paul Beame , William Chan , David Notkin Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Dold , Vincent Vialard Formal Verification of a Compiler Back-End Generic Checker Program. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Heberle , Thilo Gaul , Wolfgang Goerigk , Gerhard Goos , Wolf Zimmermann Construction of Verified Compiler Front-Ends with Program-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio de la Riva , Javier Tuya , José Ramón de Diego Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Fedor A. Kolushev , Alexander A. Bogdanov Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles. [Citation Graph (0, 0)][DBLP ] Conf ] Irina Kononenko , Ivan G. Popov , Yury A. Zagorulko Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique. [Citation Graph (0, 0)][DBLP ] Conf ] George B. Cheblakov , Farida G. Dinenberg , David Ya. Levin , Ivan G. Popov , Yury A. Zagorulko Approach to Development of a System for Speech Interaction with an Intelligent Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Susantha Herath , Chie Saito , Ajantha Herath Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages. [Citation Graph (0, 0)][DBLP ] Conf ] 