WorldCat Identities

Blikle, Andrzej

Overview
Works: 78 works in 141 publications in 3 languages and 883 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA76.7, 005.131
Publication Timeline
Key
Publications about  Andrzej Blikle Publications about Andrzej Blikle
Publications by  Andrzej Blikle Publications by Andrzej Blikle
Most widely held works by Andrzej Blikle
MetaSoft primer : towards a metalanguage for applied denotational semantics by Andrzej Blikle ( Book )
14 editions published in 1987 in English and held by 356 WorldCat member libraries worldwide
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 by Andrzej Blikle ( Book )
17 editions published in 1975 in English and German and held by 350 WorldCat member libraries worldwide
Algorithmically definable functions; a contribution towards the semantics of programming languages by Andrzej Blikle ( Book )
6 editions published between 1970 and 1971 in English and Polish and held by 58 WorldCat member libraries worldwide
Automaty i gramatyki; wstęp do lingwistyki matematycznej by Andrzej Blikle ( Book )
4 editions published in 1971 in Polish and Undetermined and held by 23 WorldCat member libraries worldwide
A Three-valued logic for software specification and validation by Beata Konikowska ( Book )
3 editions published in 1988 in English and Polish and held by 7 WorldCat member libraries worldwide
Why denotational? : remarks on applied denotational semantics by Andrzej Blikle ( Book )
3 editions published in 1990 in English and Undetermined and held by 7 WorldCat member libraries worldwide
A survey of imput-output semantics and program verification by Andrzej Blikle ( Book )
4 editions published in 1979 in English and Polish and held by 7 WorldCat member libraries worldwide
Naive denotational semantics by Andrzej Blikle ( Book )
4 editions published in 1983 in 3 languages and held by 7 WorldCat member libraries worldwide
An extended approach to mathematical analysis of programs by Andrzej Blikle ( Book )
4 editions published in 1974 in English and held by 6 WorldCat member libraries worldwide
Specified programming by Andrzej Blikle ( Book )
4 editions published in 1978 in 3 languages and held by 6 WorldCat member libraries worldwide
Three-valued predicates for software specification and validation by Andrzej Blikle ( Book )
3 editions published in 1988 in English and Polish and held by 6 WorldCat member libraries worldwide
Equations in nets computer oriented lattices by Andrzej Blikle ( Book )
3 editions published in 1973 in English and Undetermined and held by 5 WorldCat member libraries worldwide
Notes on the mathematical semantics of programming languages by Andrzej Blikle ( Book )
3 editions published in 1981 in English and Polish and held by 5 WorldCat member libraries worldwide
An algebraic approach to mathematical theory of programs by Andrzej Blikle ( Book )
2 editions published in 1973 in English and held by 5 WorldCat member libraries worldwide
Denotational engineering or from denotations to syntax by Andrzej Blikle ( Book )
2 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide
Multimicroprocessor systems : international seminar, Moscow, April 9-12, 1979 ( Book )
1 edition published in 1980 in English and held by 3 WorldCat member libraries worldwide
Floyd's method of program verification with the strongest inductive assertions by Andrzej Blikle ( Book )
1 edition published in 1976 in English and held by 3 WorldCat member libraries worldwide
A metalanguage for naive denotational semantics by Andrzej Blikle ( Book )
2 editions published in 1983 in English and held by 3 WorldCat member libraries worldwide
Praktyczne lekcje zarządzania projektami by Michał Kopczewski ( Book )
1 edition published in 2013 in Polish and held by 2 WorldCat member libraries worldwide
Intellectual product and intellectual capital ( Book )
1 edition published in 2001 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.80 (from 0.47 for A metalang ... to 0.93 for Automaty i ...)
Alternative Names
Blikle, A.
Blikle, A. 1939-
Blikle, A. J.
Blikle, Andrzej J.
Blikle, Andrzej J. 1939-
Blikle, Andrzej Jacek.
Blikle, Andrzej Jacek 1939-
Languages
English (65)
Polish (11)
German (1)
Covers