Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Programmtransformation

Subject

Browse all works related to Programmtransformation.

Home
Subject
Programmtransformation

"18" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Parallel algorithm derivation and program transformation

Parallel algorithm derivation and program transformation

by Paige, Robert A., Reif, J. H., (John H.), Wachter, R. F.

fromKluwer international series in engineering and computer sci…

0 Type: Book

Logic-based program synthesis and transformation

Logic-based program synthesis and transformation: 26th International Symposium, LOPSTR 2016, Edinbu…

by LOPSTR, Edinburgh

fromLNCS sublibrary: SL1, Theoretical computer science and gene…

0 Type: Book

Logic-based program synthesis and transformation

Logic-based program synthesis and transformation: 31st international symposium, LOPSTR 2021, Tallin…

by LOPSTR, Online; Tallinn

fromLecture Notes in Computer Science

0 Type: Book

The semantics of programming languages

The semantics of programming languages: an elemantary introduction using structural opera…

by Hennessy, Matthew

0 Type: Book

Program specification and transformation

Program specification and transformation: proceedings of the IFIP TC2 / WG 2.1 Working Conf…

by Meertens, Lambert G., Working Conference on Program Specification and Transformation (1986, Tölz)

0 Type: Book

Generative and transformational techniques in software engineering III

Generative and transformational techniques in software engineering III: international summer school ; revised papers

by GTTSE, Braga

fromLecture Notes in Computer Science

0 Type: Book

Generative and transformational techniques in software engineering III

Generative and transformational techniques in software engineering III: international summer school, GTTSE 2009, Braga, P…

by Fernandes, João M., GTTSE (Summer School), Braga, Portugal)

fromLecture Notes in Computer Science

0 Type: Book

Generative and transformational techniques in software engineering III

Generative and transformational techniques in software engineering III: international summer school, GTTSE 2009, Braga, P…

by Saraiva, João, Visser, Joost, Fernandes, João M., Lämmel, Ralf, GTTSE, Braga, International Summer School on Generative and Transformational Techniques in Software Engineering, Braga)

fromLecture Notes in Computer Science

0 Type: Book

Generative and transformational techniques in software engineering III

Generative and transformational techniques in software engineering III: International Summer School, GTTSE 2009, Braga, P…

by GTTSE. <3, 2009, Braga>

fromLecture Notes in Computer Science

0 Type: Book

Generative and transformational techniques in software engineering III

Generative and transformational techniques in software engineering III: international summer school, GTTSE 2009, Braga, P…

by Fernandes, João M., GTTSE (Summer School), Braga, Portugal)

fromLecture Notes in Computer Science

0 Type: Book

Annotation

Logic-based program synthesis and transformation

Logic-based program synthesis and transformation: 20th international symposium ; revised selected p…

by LOPSTR, Hagenberg im Mühlkreis

fromLecture Notes in Computer Science

0 Type: Book

Programs, recursion and unbounded choice

Programs, recursion and unbounded choice: predicate transformation semantics and transforma…

by Hesselink, Wim H.

fromCambridge tracts in theoretical computer science

0 Type: Book

Compiler design

Compiler design

by Seidl, Helmut

0 Type: Book

Programming Languages and Systems

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011…

by APLAS, Kending

fromLecture Notes in Computer Science

0 Type: Book

Programming languages and systems

Programming languages and systems: 7th European symposium on programming, ESOP'98, h…

by Hankin, Chris, European Symposium on Programming, Lisboa), European Conferences on Theory and Practice of Software, Lisboa)

fromLecture Notes in Computer Science

0 Type: Book

Inside the C++ object model

Inside the C++ object model

by Lippman, Stanley B.

0 Type: Book

Inside the C++ object model

Inside the C++ object model

by Lippman, Stanley B.

0 Type: Book

Inside the C⁺ object model

Inside the C⁺ object model

by Lippman, Stanley B.

0 Type: Book

Inside the C plus plus object model.

Subjects

Programmtransformation (18) Programmiersprache (8) Compiler (6) Programmverifikation (6) Software Engineering (6) Automatische Programmierung (5) Entwurfssprache (5) Formale Methode (5) Modelltransformation (5) Softwareentwicklung (5) (Zielgruppe)Research (3) Braga <2009> (3) C++ (3) C++ (Computer program languag… (3) Com (3) Effizienz (3) Kongress (3) Object-oriented programming (… (3) Objektorientierte Programmier… (3) Programmsynthese (3) logische Programmierung (3) programming languages (3) (Produktform)Paperback / soft… (2) C++ (LANGAGE DE PROGRAMMATION) (2) Codegenerierung (2) Computer Science (2) Electronic Data Processing (2) Génie logiciel (2) Génie logiciel -- Congrès (2) Informatique (2) Logic design (2) Model Checking (2) Nebenläufigkeit (2) Paperback / softback (2) Programmanalyse (2) Programmation orientée objet … (2) Programmierlogik (2) Research (2) Semantik -- (Informatik) (2) Software engineering -- Congr… (2) Structure logique (2) automated software engineering (2) generic language technology (2) metamodeling (2) model driven engineering (2) model generation (2) program generation (2) program transformation (2) software language engineering (2) software re-engineering (2) software reverse (2) (Keywords)Compilers (1) (Keywords)High-level programm… (1) (Keywords)Imperative programm… (1) (Keywords)Interpreters (1) (Keywords)Machine architectur… (1) (Keywords)Partial Evaluation (1) (Keywords)Programming languag… (1) (Keywords)SQL (1) (Keywords)Systems Modelling (1) (Keywords)Type Systems (1) (Keywords)automated software … (1) (Keywords)deductive databases (1) (Keywords)explicit model-chec… (1) (Keywords)formal methods (1) (Keywords)functional programm… (1) (Keywords)generic language te… (1) (Keywords)logic programming (1) (Keywords)metamodeling (1) (Keywords)model driven engine… (1) (Keywords)model generation (1) (Keywords)object oriented pro… (1) (Keywords)program generation (1) (Keywords)program transformat… (1) (Keywords)programming (1) (Keywords)reactive systems (1) (Keywords)relational databases (1) (Keywords)software language e… (1) (Keywords)software re-enginee… (1) (Keywords)software reverse (1) (Keywords)virtual machines (1) (Produktform)Electronic book … (1) (Produktform)Hardback (1) (Zielgruppe)Upper undergradua… (1) Algorithmes (1) Algorithmes parallèles (1) Axiomatische Semantik (1) Beweistheorie (1) C plus-plus (langage de progr… (1) COMPUTER PROGRAMMING (1) Computer Communication Networ… (1) DECLARATIVE PROGRAMMING + LOG… (1) DEKLARATIVE PROGRAMMIERUNG + … (1) Electronic books ; local (1) Formale Semantik (1) Funktionale Semantik (1) GÉNÉRATEURS DE PROGRAMMES (LA… (1) Informatie- en communicatiete… (1) Information and Communication… (1) Intelligence artificielle (1) Langages de programmation (1) Logic (1) Metaprogrammierung (1) Optimierender Compiler (1) PROGRAM GENERATORS (PROGRAMMI… (1) PROGRAMMATION DÉCLARATIVE + P… (1) PROGRAMMGENERATOREN (PROGRAMM… (1) PROGRAMMIERSPRACHEN (1) Parallel programming (Compute… (1) Paralleler Algorithmus (1) Parallélisme (Informatique) (1) Programmation orientée objet (1) Programmation orientée objets… (1) Programmation parallèle (Info… (1) Programmierparadigma (1) Programmiersprache -- Theorie (1) Programming (1) Programmoptimierung (1) Prädikatenlogik (1) Rekursives Verfahren -- (Info… (1) Semantik (1) Softwarespezifikation (1) Statische Analyse (1) THEORIE DER PROGRAMMIERUNG (1) THEORY OF PROGRAMMING (1) THÉORIE DE LA PROGRAMMATION (1) artificial intelligence (1) computer sciences (1) computerwetenschappen (1) logica (1) mathematics (1) modèle objet (1) operating systems (1) parallel algorithms (1) programmation C++ (1) programmeertalen (1) programmeren (1) sémantique langage programmat… (1) wiskunde (1) Übersetzerbau (1)

Contributor

Fernandes, João M. (3) Lippman, Stanley B. (3) GTTSE (Summer School), Braga,… (2) GTTSE, Braga (2) APLAS, Kending (1) European Conferences on Theor… (1) European Symposium on Program… (1) GTTSE. <3, 2009, Braga> (1) Hankin, Chris (1) Hennessy, Matthew (1) Hesselink, Wim H. (1) International Summer School o… (1) LOPSTR, Edinburgh (1) LOPSTR, Hagenberg im Mühlkreis (1) LOPSTR, Online; Tallinn (1) Lämmel, Ralf (1) Meertens, Lambert G. (1) Paige, Robert A. (1) Reif, J. H., (John H.) (1) Saraiva, João (1) Seidl, Helmut (1) Visser, Joost (1) Wachter, R. F. (1) Working Conference on Program… (1)

Publisher

Springer (10) Addison-Wesley (2) Addison-Wesley Longman (1) Cambridge Univ. Press (1) Kluwer Academic (1) North-Holland (1) Springer Berlin Heidelberg (1) Wiley (1)

Year

2021 (1) 2017 (1) 2012 (1) 2011 (7) 2001 (1) 1998 (1) 1996 (2) 1993 (1) 1992 (1) 1990 (1) 1987 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type