MetaSoft primer : :: SCD d'Orléans

MetaSoft primer : towards a metalanguage for applied denotational semantics

MetaSoft primer : towards a metalanguage for applied denotational semantics

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...

Полное описание

Сохранить в:

Библиографические подробности
Главный автор:	Blikle, Andrzej Jacek, 1939-
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Серии:	Lecture notes in computer science 288
Предметы:	Génie logiciel Informatique Langages de programmation Métalangage
Online-ссылка:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Примечание:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• MetaSoft primer, towards a metalanguage for applied denotational semantics, Andrzej Blikle, 1987, Berlin, Springer-Verlag, 1 vol. (XII-140 p.), Lecture notes in computer science, 0-387-18657-3 • MetaSoft Primer, Texte imprimé, 9783662186220

Схожие документы

Formal syntax and semantics of Java
по: Alves-Foss, Jim, 1964-

Semirings for soft constraint solving and programming
по: Bistarelli, Stefano

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

Parallel execution of Parlog
по: Cheese, Andrew, 19..-

KORSO : methods, languages, and tools for the construction of correct software : final report
по: Broy, Manfred, 1949-

A Survey of verification techniques for parallel programs
по: Barringer, Howard, 1951-

CASL user manual : introduction to using the Common Algebraic Specification Language
по: Bidoit, Michel, 1957-, и др.

CASL reference manual : the complete documentation of the Common Algebraic Specification Language
по: Mosses, Peter D.

Theory of program structures : schemes, semantics, verification
по: Greibach, Sheila, 1939-
Опубликовано: (2005)

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Ada 95 rationale : the language, tha standard libraries
по: Barnes, John Gilbert Presslie, 1937-

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
по: Taft, S. Tucker, 1953-

Meta-level architectures and reflection : Second International Conference, Reflection 99, Saint-Malo, France, July 19 21, 1999 : proceedings

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
по: Rao, Josyula Ramachandra, 19..-

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
по: Müller-Olm, Markus, 19..-

Ada 95 reference manual : language and standard libraries
по: Taft, S. Tucker, 1953-

Ada 95 Quality and Style

Modular specification and verification of object-oriented programs
по: Müller, Peter, 1961-...., informaticien

Specification and compositional verification of real-time systems
по: Hooman, Jozef, 19..-

Algebraic specification techniques in object oriented programming environments
по: Breu, Ruth, 19..-

Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings : FST and TCS 18

Optimal interprocedural program optimization : a new framework and its application
по: Knoop, Jens

A systematic catalogue of reusable abstract data types
по: Uhl, Jürgen, и др.

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
по: Lengauer, Christian

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Опубликовано: (2003)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
по: Steffen, Bernhard, 1956-

Interacting code motion transformations : their impact and their complexity
по: Rüthing, Oliver

Theoretical aspects of computer software : [second] international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

Model checking software : 9th International SPIN Workshop Grenoble, France, April 11 13, 2002 : proceedings

Model checking software : 10th International SPIN workshop, Portland, OR, USA, may 9-10, 2003 : proceedings

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
по: Petrenko, Alexandre

Theoretical and practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 : proceedings

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers

SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic November 23 December 1, 1995 : proceedings

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2 6, 2001 : revised papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales