Conferences in DBLP
Dines Bjørner Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial). [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Krieg-Brückner Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Chris A. Vissers , Giuseppe Scollo , Marten van Sinderen , Ed Brinksma On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jeannette M. Wing Specifying Avalon Objects in Larch. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Bondorf A Self-Applicable Partial Evaluator for Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Nicoletta Cocco Verifying Correctness of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Clément , Janet Incerpi Specifying the Behavior of Graphical Objects Using Esterel. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Dietrich A Preprocessor Based Module System for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Duque-Antón , M. Bretschneider Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fradet , Daniel Le Métayer Compilation of Lambda-Calculus into Functional Machine Code. [Citation Graph (0, 0)][DBLP ] Conf ] You-Chin Fuh , Prateek Mishra Polymorphic Subtype Inference: Closing the Theory-Practice Gap. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Giacalone , Prateek Mishra , Sanjiva Prasad FACILE: A Symmetric Integration of Concurrent and Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] E. Pascal Gribomont Development of Concurrent Programs: An Example. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Horn Clause Programs with Polymorphic Types: Semantics and Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Harper , Robert Pollack Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft). [Citation Graph (0, 0)][DBLP ] Conf ] Paola Inverardi , Simone Martini , Carlo Montangero Is Type Checking Practical for System Configuration? [Citation Graph (0, 0)][DBLP ] Conf ] Sjouke Mauw , Gert J. Veltink An Introduction to PSFd. [Citation Graph (0, 0)][DBLP ] Conf ] Silvio Romero de Lemos Meira Processes and Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Æ. Mogensen Binding Time Analysis for Polymorphically Typed Higher Order Languages. [Citation Graph (0, 0)][DBLP ] Conf ] George A. Papadopoulos A Fine Grain Parallel Implementation of PARLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Pena , Luis M. Alonso Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning , Peter Lee LEAP: A Language with Eval And Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Reps , Wuu Yang The Semantics of Program Slicing and Program Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Sannella , Andrzej Tarlecki Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 