Theory of program structures : :: SCD d'Orléans

Theory of program structures : schemes, semantics, verification

Theory of program structures : schemes, semantics, verification

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Greibach, Sheila, 1939-
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer 2005. Cham : Springer Nature
Saila:	Lecture notes in computer science 36
Gaiak:	Génie logiciel Informatique Ordinateurs Logiciels Programmation récursive
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theory of program structures, schemes, semantics, verification, Sheila A. Greibach, Berlin, Springer-Verlag, 1975, 1 vol. ([389] p.), Lecture notes in computer science, 0-387-07415-5 • Theory of Program Structures, Texte imprimé, 9783662185070

Antzeko izenburuak

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

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

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

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
nork: Bruynooghe, Maurice

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

Formal program development : IFIP TC2/WG 2.1 State-of-the-Art Report
nork: Möller, Bernhard, 1953-

Structure et interprétation des programmes informatiques
nork: Abelson, Harold, 1947-, et al.
Argitaratua: (1989)

Visualization of scientific parallel programs
nork: Tomas, Gerald, 19..-, et al.

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

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

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

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Programs as Data Objects : proceedings of a workshop, Copenhagen, Denmark, October 17 19, 1985

Interacting code motion transformations : their impact and their complexity
nork: 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

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

The IOTA programming system : a modular programming environment

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

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

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
nork: Fahringer, Thomas, 1965-, et al.

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

Principles of program analysis
nork: Nielson, Flemming, 1955-, et al.
Argitaratua: (2004)

Algebraic methods : theory, tools and applications

Formal development of reactive systems : case study production cell
nork: Lewerentz, Claus, 19..-

Algebraic methods II : theory, tools and applications

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

Extreme programming and agile methods - XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4 7, 2002 : proceedings

FME 2002 : formal methods : getting IT right : [11th] International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 24, 2002 : proceedings

Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6 8, 2002 : proceedings

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20 25, 2001 : revised papers

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 28, 1994 : proceedings

FME '96 : industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 22, 1996 : proceedings

Generative programming and component engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings

© 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