Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Programmtransformation"'
Autor:
Garmany, Behrad (Dipl.)
Die in dieser Dissertation vorgestellte Forschung nimmt eine Nische im Bereich der statischen Programmanalyse ein, dessen Anwendung sich auf binäre (ausführbare) Programme fokussiert. Dabei verfolgen wir, analog zum Trend kommerzieller Quellcodeana
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad96fa7e91e566d9dd79fb264139f8af
Autor:
Blazytko, Tim
Da Software eine wichtige Rolle in unserem Leben spielt, ist es essenziell, dass sie fehlerfrei und sicher gegen Angriffe ist. Automatisierte Sicherheitsanalysen sind zwar wegen des Halteproblems unentscheidbar; daher betrachten sie oft nur bestimmte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bdbffc3259290ef795d85cbce255bb98
https://hss-opus.ub.ruhr-uni-bochum.de/opus4/files/7580/diss.pdf
https://hss-opus.ub.ruhr-uni-bochum.de/opus4/files/7580/diss.pdf
Autor:
Giarrusso, Paolo Giosuè
In modernen, universellen Programmiersprachen sind Abfragen auf Speicher-basierten Kollektionen oft rechenintensiver als erforderlich. Während Datenbankenabfragen vergleichsweise einfach optimiert werden können, fällt dies bei Speicher-basierte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______707::d74e63375a05d628652afdbef627692a
https://hdl.handle.net/10900/97998
https://hdl.handle.net/10900/97998
Autor:
Krellner, Björn, Reichel, Thomas, Rünger, Gudula, Ferber, Marvin, Hunold, Sascha, Rauber, Thomas, Berndt, Jürgen, Nobbers, Ingo
Im Projekt TransBS wurden existierende, über viele Jahre gewachsene Softwaresysteme zur Realisierung von Geschäftsprozessen betrachtet, in denen Aspekte wie Verteiltheit, Anpassbarkeit an heterogene Plattformen oder Skalierbarkeit zunehmend Bedeutu
Autor:
Strohmeyer, Christoph
This thesis is concerned with modeling, analysis and applications of one-dimensional continua and networks thereof. More precisely, we use the pre-curved and -twisted three-dimensional geometrically exact beam theory to rigorously deduce several well
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::753fedb54c8523bec05ab9c0bbbbc5eb
Autor:
Dotzler, Georg
Library updates, program errors, and maintenance tasks in general force developers to apply the same code change to different locations within their projects. If the locations are very different to each other, it is very time-consuming to identify al
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65e0498ca7acb114f13d7dd9e4632076
Autor:
Sabel, David
Zugl.: Frankfurt (Main), Univ., Diss., 2008
Externí odkaz:
http://d-nb.info/992163102/04
Autor:
Jürgensen, Claus
In this thesis we see two new approaches to compose tree transducers and more general to fuse functional programs. The first abroach is based on initial algebras. We prove a new variant of the acid rain theorem for mutually recursive functions where
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A24455
https://tud.qucosa.de/api/qucosa%3A24455/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A24455/attachment/ATT-0/
Autor:
Jürgensen, Claus
In this thesis we see two new approaches to compose tree transducers and more general to fuse functional programs. The first abroach is based on initial algebras. We prove a new variant of the acid rain theorem for mutually recursive functions where
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4179::a38a7e59471b2c241e3236ed72b93d8d
https://tud.qucosa.de/id/qucosa:24455
https://tud.qucosa.de/id/qucosa:24455
Autor:
Sebastian Erdweg
Die meisten Programmiersprachen werden als Universalsprachen entworfen. Unabhängig von der zu entwickelnden Anwendung, stellen sie die gleichen Sprachfeatures und Sprachkonstrukte zur Verfügung. Solch universelle Sprachfeatures ignorieren jedoch di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od________13::dfd53bc21c9d8f7d2907f0bdaaf151a1
http://archiv.ub.uni-marburg.de/diss/z2013/0280
http://archiv.ub.uni-marburg.de/diss/z2013/0280