Search results for "Formal Methods in Programming and Their Applications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Chaochen Zhou	Duration Calculi: An Overview (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002	Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Concurrent Program Verification, Changeling, Fault Tolerance, Formal Methods, Distributed Databases, Transformation, Executable Assertions
1	Vladimir Levin	Algebraically Provable Specification of Optimized Compilations.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Friederike Nickl, Martin Wirsing	A Formal Approach to Requirements Engineering (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Mikhail A. Taitslin, D. Arkhangelsky	The Other Linear Logic (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Jim Grundy	Predicative Programming - A Survey.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	François Bourdoncle	Semantic Analysis of Interval Congruences.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Regimantas Pliuskevicius	Saturation Replaces Induction for a Miniscoped Linear Temporal Logic.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Lunjin Lu, Peter Greenfield	Logic Program Testing Based on Abstract Interpretation.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	David Sands	A Compositional Semantics of Combining Forms for Gramma Programs.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Bernhard Möller	Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Anatoly Petrovich Beltiukov	Automatical Synthesis of Programs with Recursions.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Yuri Leonidovich Ershov	Theory of Domains and Nearby (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Wolfgang Reif	An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Philippe Jorrand	Communication as Unification in Process Algebras: Operational Semantics (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Peter Pepper, Jürgen Exner, Mario Südholt	Functional Development of Massively Parallel Programs (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	François Masdupuy	Semantic Analysis of Interval Congruences.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Viktor K. Sabelfeld	Analysis of Some Semantic Properties for Programs of the Applicative Language AL.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Bruno Monsuez	Polymorphic Typing for Call-by-Name Semantics.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
1	Jim Grundy	A Three-Valued Logic for Refinement.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Gerald C. Gannod, Betty H. C. Cheng	A Two-Phase Approach to Reverse Engineering Using Formal Methods.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Irina Virbitskaite	Observing Some Properties of Event Structures.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Jean Paul Bahsoun, Corinne Servieres, Christel Seguin	A Unique Formalism for Specifying and Designing Objects in a Parallel Environment.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Eerke A. Boiten	Parsing in ISBES.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	substructures, Cocke-Kasami-Younger, formal specification, parsing, bags, transformational programming
1	Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt	On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	V. A. Nepomniaschy, Nikolay V. Shilov	REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Alexandre V. Zamulin	Algebraic Modelling of Imperative Languages with Pointers.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Gerald Futschek	Algebraic Properties of Loop Invariants.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)	Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings	Formal Methods in Programming and Their Applications	1993	DBLP BibTeX RDF

Publications at "Formal Methods in Programming and Their Applications"( http://dblp.L3S.de/Venues/Formal_Methods_in_Programming_and_Their_Applications )