Browsing by Index of Persons Loeckx, Jacques

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 20
Year of PublicationTitleAuthor(s)Open Access
1983Abstracts of the talks at the Fourth International Workshop on the Semantics of Programming Languages in Bad Honnef : March 14-18, 1983-
1979Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef : March 19-23, 1979-
1985The algorithmic specification method of abstract data types : an overviewLoeckx, Jacques
1981Algorithmic specifications : a new specification method for abstract data typesLoeckx, Jacques
1972A bibliography on formal languages and related topics-
1972A bibliography on formal languages and related topics-
1978A calculus for proving properties of while-programsGlasner, Ingrid; Loeckx, Jacques
1976A few comments on a correctness proof of a program for the "McCarthy Airline" reservation systemBarth, Wolfgang; Loeckx, Jacques
1985A formal description of the specification language OBSCURELoeckx, Jacques
1980Implementations of abstract data types and their correctness proofsLoeckx, Jacques
1996LEX : a case study in development and validation of formal specificationsHeckler, Andreas Ramses; Hettler, Rudolf; Hussmann, Heinrich, et al
1985A note on the equational calculus for many-sorted algebras with possibly empty carrier setsLoeckx, Jacques; Mahr, Bernd
1987OBSCURE : a specification environment for abstract data typesLehmann, Thomas; Loeckx, Jacques
1985OBSCURE : an interactive specification language for model-oriented specification methods (extended abstract)Lermen, Claus-Werner; Loeckx, Jacques
1989OBSCURE : eine Spezifikations- und VerifikationsumgebungLoeckx, Jacques
1991The OBSCURE manual. - Part I: Editing and rapid prototypingFuchs, Jürgen; Hoffmann, Annette; Meiss, Liane, et al
1990OBSCURE, a specification language for abstract data typesLehmann, Thomas; Loeckx, Jacques
1985Report on the 5th International Workshop on the Semantics of Programming Languages in Bad Honnef : March 11-15, 1985-
1980Some properties of implementations of abstract data typesLoeckx, Jacques
1987The specification language of OBSCURELehmann, Thomas; Loeckx, Jacques