Výsledky vyhledávání - "STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS)"

Modular verification of global module invariants in object-oriented programs

Autoři: Leino, K. Rustan M. Müller, Peter

Zdroj: Technical Report / Department of Computer Science, ETH Zurich, 459

Témata: VERIFICATION (SOFTWARE ENGINEERING), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), VERIFIKATION (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS), STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), Data processing, computer science

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/mapping/view/eth:4792
http://hdl.handle.net/20.500.11850/69835

Modula: A Language for Modular Multiprogramming: Modula: a language for modular multiprogramming

Autoři: Wirth, Niklaus

Zdroj: Programming Languages ISBN: 9783662095096
Berichte des Instituts für Informatik, 18

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), Data processing, computer science, 0202 electrical engineering, electronic engineering, information engineering, MODULA (PROGRAMMING LANGUAGES), MEHRPROGRAMMBETRIEB (BETRIEBSSYSTEME), MODULA (PROGRAMMIERSPRACHEN), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS), MULTIPROCESSING + MULTIPROGRAMMING + MULTITASKING (OPERATING SYSTEMS), General topics in the theory of software, 02 engineering and technology

Popis souboru: application/xml; application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/bitstream/20.500.11850/68669/1/eth-3057-01.pdf
https://zbmath.org/3540358
https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.4380070102
https://dblp.uni-trier.de/db/journals/spe/spe7.html#Wirth77
https://www.research-collection.ethz.ch/handle/20.500.11850/68669
https://www.research-collection.ethz.ch/bitstream/20.500.11850/68669/1/eth-3057-01.pdf
http://hdl.handle.net/20.500.11850/68669

The programming language pascal: The programming language Pascal

Autoři: Wirth, Niklaus

Zdroj: Pioneers and Their Contributions to Software Engineering ISBN: 9783540422907
Software Pioneers ISBN: 9783642639708
Berichte der Fachgruppe Computerwissenschaften, 1

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PASCAL (PROGRAMMIERSPRACHEN), Data processing, computer science, PASCAL (PROGRAMMING LANGUAGES), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS), Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis souboru: application/xml; application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/bitstream/20.500.11850/68712/1/eth-3290-01.pdf
https://zbmath.org/3326082
https://doi.org/10.1007/bf00264291
https://www.research-collection.ethz.ch/handle/20.500.11850/68712
https://www.research-collection.ethz.ch/bitstream/20.500.11850/68712/1/eth-3290-01.pdf
https://link.springer.com/article/10.1007/BF00264291
https://rd.springer.com/chapter/10.1007/978-3-642-59412-0_9
http://e-collection.library.ethz.ch/eserv/eth:3059/eth-3059-01.pdf
http://hdl.handle.net/20.500.11850/68712

Separate compilation and module extension

Autoři: Crelier, Régis Bernard Joseph Mössenböck, Hanspeter Wirth, Niklaus

Přispěvatelé: Crelier, Régis Bernard Joseph Mössenböck, Hanspeter Wirth, Niklaus

Témata: COMPILER (PROGRAMMIERSPRACHEN), KONSISTENZ (SOFTWARE ENGINEERING), OBERON (PROGRAMMIERSPRACHEN), STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), COMPILERS (PROGRAMMING LANGUAGES), CONSISTENCY (SOFTWARE ENGINEERING), OBERON (PROGRAMMING LANGUAGES), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science

Popis souboru: application/application/pdf

Relation: http://hdl.handle.net/20.500.11850/141604

Dostupnost: https://hdl.handle.net/20.500.11850/141604
https://doi.org/10.3929/ethz-a-000945227

PASCAL-S: a subset and its implementation

Autoři: Wirth, Niklaus

Zdroj: Berichte des Instituts für Informatik, 12

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PASCAL (PROGRAMMIERSPRACHEN), Data processing, computer science, PASCAL (PROGRAMMING LANGUAGES), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS)

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/68667
http://hdl.handle.net/20.500.11850/68667

The programming language Pascal (Revised Report)

Autoři: Wirth, Niklaus

Zdroj: Berichte der Fachgruppe Computerwissenschaften, 5

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PASCAL (PROGRAMMIERSPRACHEN), Data processing, computer science, PASCAL (PROGRAMMING LANGUAGES), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS)

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/68910
http://hdl.handle.net/20.500.11850/68910

The PASCAL 'P' compiler: implementation notes

Autoři: Nori, K.V.

Zdroj: Berichte des Instituts für Informatik, 10

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PASCAL (PROGRAMMIERSPRACHEN), Data processing, computer science, PASCAL (PROGRAMMING LANGUAGES), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS), COMPILER (PROGRAMMIERSPRACHEN), COMPILERS (PROGRAMMING LANGUAGES)

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/68666
http://hdl.handle.net/20.500.11850/68666

An axiomatic definition of the programming language Pascal

Autoři: Hoare, Charles Antony Richard Wirth, Niklaus

Zdroj: Berichte der Fachgruppe Computerwissenschaften, 6

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PASCAL (PROGRAMMIERSPRACHEN), Data processing, computer science, PASCAL (PROGRAMMING LANGUAGES), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS), 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/application/pdf

Přístupová URL adresa: http://hdl.handle.net/20.500.11850/68663

Optimizing compilers for structured programming languages

Autoři: Marc Michael Brandis

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), Data processing, computer science, STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS), CODEGENERATOREN (PROGRAMMIERSPRACHEN), CODE GENERATORS (PROGRAMMING LANGUAGES), COMPILER (PROGRAMMIERSPRACHEN), COMPILERS (PROGRAMMING LANGUAGES)

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/142036

The Module: a tool for structured programming

Autoři: Van Kiet Le

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), Data processing, computer science, STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS)

Přístupová URL adresa: https://www.research-collection.ethz.ch/mapping/view/eth:34515

Die Entwicklung eines PASCAL-Compilers nach der Methode des strukturierten Programmierens

Autoři: Urs Ammann

Témata: STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PASCAL (PROGRAMMIERSPRACHEN), Data processing, computer science, PASCAL (PROGRAMMING LANGUAGES), STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS), COMPILER (PROGRAMMIERSPRACHEN), COMPILERS (PROGRAMMING LANGUAGES)

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/136686