伟德国际_伟德国际1946$娱乐app游戏

图片

Publikationen

2019

Geographic Wayfinders and Space-Time Algebra

B. M?ller
J. Log. Algebr. Meth. Program. 104: 274-302 (2019)

PDF

?

?

2018

Algebraic Derivation of Until Rules and Application to Timer Verification
J. Ertel, R. Glück, B. M?ller
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2018, Proceedings. Lecture Notes in Computer Science 11194, 244-262

PDF

?

?

2017

Non-Associative Kleene Algebra and Temporal Logics
J. Desharnais, B. M?ller
Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Lecture Notes in Computer Science 10226, 93-108

PDF

?

?

2016

Extended Feature Algebra
P. H?fner, B. M?ller
J. Log. Algebr. Meth. Program. 85(4): 617-636 (2016)

PDF

?

A Discrete Geometric Model of Concurrent Program Execution
B. M?ller, T. Hoare, M.E. Müller, G. Struth
Jonathan P. Bowen, Huibiao Zhu: Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10134, 1-25

PDF

?

Developments in Concurrent Kleene Algebra
T. Hoare, S. van Staden, B. M?ller, G. Struth, H. Zhu
J. Log. Algebr. Meth. Program. 85(4): 617-636 (2016)

PDF

?

?

2015

Towards Antichain Algebra
B. M?ller
W. Kahl, M. Winter, J. Nuno Oliveira eds.): Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015. Lecture Notes in Computer Science 9348, Springer 2015

PDF

?

Extended Transitive Separation Logic
H.-H. Dang, B. M?ller
J. Log. Algebr. Meth. Program. 84(3): 303-325 (2015)

PDF

?

Modal Algebra and Petri Nets
H.-H. Dang, B. M?ller
Acta Inf. 52(2-3): 109-132 (2015)

PDF

?

Structured Document Algebra in Action
D. Batory, P. H?fner, D. K?ppl, B. M?ller, A. Zelend
In: R. De Nicola, R. Hennicker (eds.): Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, 291-311

PDF

?

Exploring an Interface Model for CKA
B. M?ller, C.A.R. Hoare
R. Hinze, J. Voigtl?nder (eds.): Mathematics of Program Construction - 12th International Conference, MPC 2015, K?nigswinter, Germany, June 29 - July 1, 2015.?Lecture Notes in Computer Science 9129, 1-29

PDF

?

An Algebra of Database Preferences
B. M?ller, P. Roocks
J. Log. Algebr. Meth. Program.?84(3): 456-481 (2015)

PDF

?

?

2014

On Nothing
M.E. Müller, B. M?ller
in Berghammer, R., M?ller, B. and Winter, M. (eds.): Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday,?J. Log. Algebr. Meth. Program. 83(2), 309-317, 2014

PDF

?

Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday: Preface
R. Berghammer, B. M?ller and M. Winter (eds.)
Journal of Logical and Algebraic Methods in Programming 83(2), 85-86.

PDF

?

Exploring Modal Worlds
H.-H. Dang, R. Glück, B. M?ller, P. Roocks, A. Zelend
in Berghammer, R., M?ller, B. and Winter, M. (eds.): Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday,?Journal of Logical and Algebraic Methods in Programming 83(2), pp. 135-153, 2014.

PDF

?

Relational Style Laws and Constructs of Linear Algebra
J. Desharnais, A. Grinenko, B. M?ller
in Berghammer, R., M?ller, B. and Winter, M. (eds.): Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday,?Journal of Logical and Algebraic Methods in Programming 83(2), pp. 154-168, 2014.

PDF

?

Developments in Concurrent Kleene Algebra
C.A.R. Hoare, S. van Staden, B. M?ller, G. Struth, J. Villard, H. Zhu, P. O’Hearn
in H?fner, P., Jipsen, P., Kahl, W. and Müller, M. E. (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 14),?LNCS 8428, pp. 1-18, 2014.

PDF

?

Fuzzifying Modal Algebra
J. Desharnais, B. M?ller
in H?fner, P., Jipsen, P., Kahl, W. and Müller, M. E. (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 14),?LNCS 8428, pp. 395–411, 2014.

PDF

?

?

2013

Features, Modularity, and Variation Points
D. Batory, P. H?fner, B. M?ller, A. Zelend
in Proceedings of the 5th International Workshop on Feature-Oriented Software Development,?FOSD 2013, pp. 1-8, 2013

PDF

?

Subclack: Feature-Oriented Programming with Behavioral Feature Interfaces
T. Thüm, S. Apel, A. Zelend, R. Schr?ter, B. M?ller,
in Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance,?MASPEGHI '13, pp. 1-8, 2013

PDF

?

Concurrency and Local Reasoning Under Reverse Exchange
H.-H. Dang, B. M?ller
in?Science of Computer Programming 85, Part B, pp. 204–223, 2013.

PDF

?

Modal Knowledge and Game Semirings
B. M?ller
in?Computer Journal 56 (1), pp. 53-69, 2013.

PDF

?

?

2012

Transitive Separation Logic
H.-H. Dang, B. M?ller
in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13),?LNCS 7560, pp. 1-16, 2012.

PDF

?

Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
P. H?fner, B. M?ller, A. Zelend
in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13),?LNCS 7560, pp. 33-49, 2012.

PDF

?

An Algebra of Layered Complex Preferences
B. M?ller, P. Roocks
in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13),?LNCS 7560, pp. 294-309, 2012.

PDF

?

Dijkstra, Floyd and Warshall meet Kleene
P. H?fner, B. M?ller
in?Formal Aspects of Computing, Volume 24, Issue 4-6, pp. 459-476, 2012.

PDF

?

An Algebraic Calculus of Database Preferences
B. M?ller, P. Roocks, M. Endres
in J. Gibbons and P. Nogueira (eds.): Mathematics of Program Construction (MPC 2012),?LNCS 7342, pp. 241-262, 2012.

PDF

?

Reverse Exchange for Concurrency and Local Reasoning
H.-H. Dang, B. M?ller
in J. Gibbons and P. Nogueira (eds.): Mathematics of Program Construction (MPC 2012),?LNCS 7342, pp. 177-197, 2012.

PDF

?

?

2011

Algebraic Notions of Termination
J. Desharnais, B. M?ller, G. Struth
in?Logical Methods in Computer Science 7(1), pp. 1-29, 2011.

PDF

?

On Locality and the Exchange Law for Concurrent Processes
C.A.R. Hoare, A. Hussain, B. M?ller, P. O'Hearn, R.L. Petersen, G. Struth
in Joost-Pieter Katoen, Barbara K?nig (eds.):?CONCUR 2011 - Concurrency Theory, LNCS 6901, 2011.

PDF

?

An Algebra of Product Families
P. H?fner, R. Khedri, B. M?ller
in?Software and Systems Modeling Volume 10, Issue 2 (2011), pp. 161 - 182.

PDF

?

Simplifying Pointer Kleene Algebra
H.-H. Dang, B. M?ller
in 1st Workshop on Automated Theory Engineering (ATE 2011), 2011.

PDF

?

Building Structured Theories
B. M?ller
in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12),?LNCS 6663, pp. 1-21, 2011.

PDF

?

Editorial: Relations and Kleene algebras in computer science
Rudolf Berghammer, Ali Jaoua, Bernhard M?ller
J. Log. Algebr. Program. 80(6): 219-220 (2011)

PDF

?

Supplementing Product Families with Behaviour
P. H?fner, R. Khedri, B. M?ller
in?International Journal of Software and Informatics, 2011.

PDF

?

Fixing Zeno Gaps
P. H?fner, B. M?ller
in?Theoretical Computer Science 412, Issue 28, pp. 3303-3322, 2011.

PDF

?

Algebraic Separation Logic
H.-H. Dang, P. H?fner, B. M?ller
in?Journal of Logic and Algebraic Programming 80, pp. 221-247, 2011.

PDF

?

Concurrent Kleene Algebra and its Foundations
C.A.R. Hoare, B. M?ller, G. Struth, I. Wehrman
in?Journal of Logic and Algebraic Programming 80, pp. 266–296, 2011.

PDF

?

?

2010

Model Refinement Using Bisimulation Quotients
R. Glück, B. M?ller, M. Sintzoff
in M. Johnson, D. Pavlovic (eds.):?Algebraic Methodology and Software Technology?(AMAST 2010), LNCS 6486, pp. 76-91, 2010.

PDF

?

An algebraic foundation for automatic feature-based program synthesis
S. Apel, C. Lengauer, B. M?ller, C. K?stner
in?Science of Computer Programming?75(11), pp. 1022-1047, 2010.

PDF

?

Editorial: Relations and Kleene algebras in computer science
R. Berghammer, B. M?ller, G. Struth
in?Journal of Logic and Algebraic Programming 79(8), pp. 705-706, 2010.

PDF

?

Normal Design Algebra
W. Guttmann, B. M?ller
in?Journal of Logic and Algebraic Programming 79(2), pp. 144-173, 2010.

PDF

?

?

2009

Foundations of Concurrent Kleene Algebra
C.A.R. Hoare, B. M?ller, G. Struth, I. Wehrman
in R. Berghammer, A. M. Jaoua, B. M?ller (eds.):?Relations and Kleene Algebra in Computer Science, LNCS 5827. pp. 166-186, 2009.

PDF

?

Towards Algebraic Separation Logic
H.-H. Dang, P. H?fner, B. M?ller
in R. Berghammer, A. M. Jaoua, B. M?ller (eds.):?Relations and Kleene Algebra in Computer Science, LNCS 5827. pp. 59-72, 2009.

PDF

?

Preface: Relations and Kleene Algebra in Computer Science
R. Berghammer, A. Jaoua, B. M?ller (eds.)
LNCS 5827. Springer, 2009.

PDF

?

Extended Feature Algebra [Extended Abstract]
P. H?fner, B. M?ller
in S. Apel et al. (eds.):?Workshop on Feature-Oriented Software Development (FOSD), pp. 75-80, 2009.

PDF

?

Concurrent Kleene Algebra
C.A.R. Hoare, B. M?ller, G. Struth, I. Wehrman
in M. Bravetti, G. Zavatttaro (eds.):?Concurrency Theory (CONCUR 2009), LNCS 5710. pp. 399-414, 2009.

PDF

?

An Algebra of Hybrid Systems
P. H?fner, B. M?ller
Journal of Logic and Algebraic Programming?78(2), pp. 74-97.?2009

PDF

?

?

2008

Algebraic View Reconciliation
P. H?fner, R. Khedri, B. M?ller
in A. Cerone and S. Gruner (eds.): Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 08), IEEE 2008, pp. 85-94

PDF

?

An Algebra for Features and Feature Composition
S. Apel, C. Lengauer, B. M?ller, C. K?stner
in J. Meseguer, G. Rosu (eds.):?Algebraic Methodology and Software Technology (AMAST 08), LNCS 5140. pp. 36-50, 2008.

PDF

?

Circulations, Fuzzy Relations and Semirings
R. Glück, B. M?ller
in P. Audebaud and C. Pauline-Mohring (eds.): Mathematics of Program Construction,?LNCS 5133. pp. 134-152, 2008.?Springer.

PDF

?

Relations and Kleene Algebra in Computer Science
R. Berghammer, B. M?ller, G. Struth (eds.)
LNCS 4988. Springer.

PDF

?

Knowledge and Games in Modal Semirings
B. M?ller
in R. Berghammer, B. M?ller, G. Struth (eds.):?Relations and Kleene Algebra in Computer Science, LNCS 4988. pp. 320-336, 2008.

PDF

?

Least reflexive points of relations
J. Desharnais, B. M?ller
in O. Danvy, H. Mairson, F. Henglein, A. Pettorossi (eds.): Automatic program development - A tribute to Robert Paige. Springer 2008, 215-228

PDF

?

Algebraic Neighbourhood Logic
P. H?fner, B. M?ller
in R. Schmidt, G. Struth (eds.):?Journal of Logic and Algebraic Programming?76 (Special Issue), pp.35-59 2008

PDF

?

?

2007

Kleene Getting Lazy
B. M?ller
Science of Computer Programming 65, 195-214

PDF

?

?

2006

Lazy Semiring Neighbours and some Applications
P. H?fner, B. M?ller
in R. Schmidt (ed.): Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06), LNCS 4136.
pp. 207-221, 2006. Springer.

PDF

?

Omega Algebra, Demonic Refinement Algebra and Commands
P. H?fner, B. M?ller, K. Solin
in R. Schmidt (ed.): Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06), LNCS 4136.
pp. 222-234, 2006. Springer.

?

Quantales and Temporal Logics
B. M?ller, P. H?fner, G. Struth
in: M. Johnson and V. Vene (Eds.), Algebraic Methodology and Software Technology (AMAST 2006), LNCS 4019. pp. 263-277, 2006. Springer.

PDF

?

The Linear Algebra of UTP
B. M?ller
in: T. Uustalu (Ed.), Mathematics of Program Construction 8th International Conference (MPC 2006), LNCS 4014. pp. 338-358, 2006. Springer.

PDF

?

Feature Algebra
P. H?fner, R. Khedri, B. M?ller
in J. Misra, T. Nipkow, and E. Sekerinski (eds.): Formal methods?(FM 2006), LNCS 4085. pp. 300-315, 2006. Springer.

PDF

?

Modal Design Algebra
W. Guttmann, B. M?ller
In S. Dunne, B. Stoddart (eds.): Unifying Theories of Programming?(UTP 2006), LNCS 4010. pp. 236–256, 2006. Springer

PDF

?

Kleene Algebra with Domain
J. Desharnais, B. M?ller, G. Struth
ACM Transactions on Computational Logic Vol. 7, No. 4, October 2006, Pages 798–833.

PDF

?

The Journal of Logic and Algebraic Programming - Special issue "Relation Algebra and Kleene Algebra"
B. M?ller (ed.)
Journal of Logic and Algebraic Programming 66

PDF

?

Kleene under a Modal Demonic Star
J. Desharnais, B. M?ller, F. Tchier
in B. M?ller (ed.)?Journal of Logic and Algebraic Programming 66
Special issue "Relation Algebra and Kleene Algebra", pp. 127-160

?

Algebras of Modal Operators and Partial Correctness
B. M?ller, G. Struth
Theoretical Computer Science 351, pp. 221-239

PDF

?

Towards an Algebra of Hybrid Systems
P. H?fner, B. M?ller
in W. MacCaull, M. Winter and I. Duentsch (eds.): Relational Methods in Computer Science,?LNCS 3929.?pp. 121-133, 2006. Springer.

PDF

?

wp is wlp
B. M?ller, G. Struth
in W. MacCaull, M. Winter and I. Duentsch (eds.): Relational Methods in Computer Science,?LNCS 3929. pp. 200-211, 2006. Springer.

PDF

?

?

2005

Least Reflexive Points of Relations
J. Desharnais, B. M?ller
Higher-order and Symbolic Computation 18, 51-77 (2005)

PDF

?

?

2004

Greedy-Like Algorithms in Kleene Algebra
B. M?ller, G. Struth
In R. Berghammer, B. M?ller, G. Struth (eds.):?Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051. pp. 202-214, 2004.

PDF

?

Termination in Modal Kleene Algebra
J. Desharnais, B. M?ller, G. Struth
In J.-J. Lévy, E. Mayr, J.C. Mitchell (eds.): Exploring new frontiers of theoretical informatics.
IFIP International Federation for Information Processing Series 155, pp. 647-660, 2004.

PDF

?

Kleene Modules
T. Ehm, B. M?ller, G. Struth
In R. Berghammer, B. M?ller, G. Struth (eds.):?Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051. pp. 112-123, 2004. Springer.

?

Lazy Kleene Algebra
B. M?ller
In D. Kozen (ed.): Mathematics of program Construction?(MPC 2004), LNCS 3125. pp. 252-273, 2004. Springer-Verlag.

PDF

?

Foreword: Mathematics of program construction
E.A. Boiten, B. M?ller (eds.)
Science of Computer Programming 51:1-2, Special Issue Jan. 2004.

PDF

?

Modal Kleene algebra and applications - a survey
J. Desharnais, B. M?ller, G. Struth
In?Journal on Relational Methods in Computer Science 1. pp. 93-131, 2004.

PDF

?

Modal Kleene Algebra and Partial Correctness
B. M?ller, G. Struth
In C. Rattray, S. Maharaj, C. Shankland (eds.): Algebraic Methodology and Software Technology?(AMAST 2004), LNCS 3116 (Best Paper Award). pp. 379-393, 2004. Springer-Verlag.

PDF

?

Preface: Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, B. M?ller, G. Struth (eds.)
LNCS 3051. Springer.

?

?

2003

Kleene modules
T. Ehm, B. M?ller, G. Struth
7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra. pp. 21-27, Malente, Germany, Mai 2003.
In R. Berghammer, B. M?ller (eds.): Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.

PDF

?

Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra
R. Berghammer, B. M?ller (eds.)
7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra. Malente, Germany, Mai 2003.

?

Greedy-like algorithms in Kleene algebra
B. M?ller, G. Struth
7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra. pp. 173-180, Malente, Germany, Mai 2003. In R. Berghammer, B. M?ller (eds.): Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.?Final version.

?

?

2002

Mathematics of Program Construction
E.A. Boiten, B. M?ller (eds.)
LNCS 2386.

2002.

PDF

?

?

2001

Characterizing determinacy in Kleene algebra
J. Desharnais, B. M?ller
In Special Issue on Relational Methods in Computer Science, Information Sciences - An International Journal 139. pp. 253-273, 2001.

PDF

?

?

2000

Kleene under a demonic star
J. Desharnais, B. M?ller, F. Tchier
In T. Rus (ed.): Algebraic Methodology and Software Technology?(AMAST 2000), LNCS 1816. pp. 355-370, Sep. 2000. Springer.

PDF

?

Characterizing functions in Kleene algebra
J. Desharnais, B. M?ller
J. Desharnais (ed.): RelMiCS 2000, 5th International Seminar on Relational Methods in Computer Science. pp. 55-64, Université Laval, Québec, Canada, Jan. 2000.

?

?

1999

Calculating with acyclic and cyclic lists
B. M?ller
In Information Sciences - An International Journal. Special Issue on Relational Methods in Computer Science 119/3-4. pp. 135-154, 1999.

PDF

?

?

1998

An Algebraic Approach to Systolic Circuits
B. M?ller
In Proc. Workshop on Formal Techniques for Hardware and Hardware-like Systems Marstrand, 19 June, 1998. Chalmers 伟德国际_伟德国际1946$娱乐app游戏 of Technology, G?teborg, 1998 (26 pp.)

PDF

?

Are anamorphisms reasonable abstractions?
B. M?ller
Workshop on Generic Programming. Chalmers 伟德国际_伟德国际1946$娱乐app游戏 of Technology, G?teborg, Sweden. Juni 1998.

PDF

?

Ideal Stream Algebra
B. M?ller
In B. M?ller, J.V. Tucker (eds.): Prospects for hardware foundations, LNCS 1546. pp. 69-116, 1998. Springer-Verlag.

PDF

?

Algebraic structures for program calculation
B. M?ller
International Summer School Marktoberdorf, July 28 - August 9, 1998.
In M. Broy, R. Steinbrüggen (eds.): Calculational system design, NATO Advanced Science Institutes Series. Subseries F: Computer and Systems Sciences. pp. 25-97, 1999.
IOS Press.

PDF

?

Preface: Prospects for hardware foundations
B. M?ller, J. V. Tucker (eds.)
LNCS 2546, 1998.

PDF

?

Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
T. Brunn, B. M?ller, M. Russling
In J. Jeuring (ed.): Mathematics of Program Construction, LNCS 1422. pp. 96-121, 1998. Springer-Verlag.

PDF

?

Deductive Hardware Design: A Functional Approach
B. M?ller
In B. M?ller, J.V. Tucker (eds.): Prospects for hardware, LNCS 1546. pp. 420-468, 1998. Springer-Verlag.

PDF

?

?

1997

Temporal Operators on Partial Orders
B. M?ller
In U.Berger, K.-H. Niggl, B. Reus (eds.): Proc. 3rd Domain Workshop, Munich, 29--31 May 1997. Institut für Informatik, LMU Munich, Technical Report 9712, December 1997, pp. 49-58

?

Calculating With Pointer Structures
B. M?ller
IFIP TC2/WG2.1 Working Conference.
In R. Bird, L. Meertens (eds.): Algorithmic languages and calculi Relational Methods in Computer Science 119/3-4. pp. 24-48, Le Bischenberg, France, Feb. 1997. Chapman & Hall.

PDF

?

Calculating a functional module for binary search trees
W. Dosch, B. M?ller
8th International Workshop.
In W. Kluge (ed.): Implementation of Functional Languages, LNCS 1268.
pp. 267-284, Bad Godesberg, Germany, 1997. Springer-Verlag
.

PDF

?

?

1996

Assertions and recursions
B. M?ller
Second International Workshop.
In G. Dowek, J. Heering, K. Meinke, B. M?ller (eds.): Higher order algebra, logic and term rewriting. pp. 163-184, Paderborn, Germany, Dez. 1996. Springer-Verlag.

PDF

?

Higher order algebra, logic and term rewriting
G. Dowek, J. Heering, K. Meinke, B. M?ller (eds.)
LNCS 1074, 1996.

?

Mathematics of program construction
B. M?ller (ed.)
In Special Issue, Science of Computer Programming 26:1-3. 1996.

PDF

?

?

1995

Mathematics of program construction
B. M?ller (eds.)
Third International Conference. Kloster Irsee, Germany. LNCS 847, 1995.

?

?

1994

Ideal Streams
B. M?ller
In F. Simon (ed.): Alternative Konzepte für Sprachen und Rechner.

Christian-Albrechts-Universit?t Kiel, Bericht Nr. 9412, pp. 83-86

?

Shorter paths to graph algorithms
B. M?ller, M. Russling
In Science of Computer Programming 22. pp. 157-180, 1994.

PDF

?

Ideal streams
B. M?ller
In E.- R. Olderog (ed.): Programming Concepts, Methods and Calculi. IFIP Transactions A-56.
pp. 39-58, 1994. North Holland.

PDF

?

Higher order algebra, logic and term rewriting
Heering, K. Meinke, B. M?ller, T. Nipkow (eds.)
LNCS 816, 1994.

?

Ordered and continuous models of higher-order specifications
B. M?ller
In J. Heering, K. Meinke, B. M?ller, T. Nipkow (eds.): Higher-Order algebra, logic and term rewriting, LNCS 816.
pp. 223-255, 1994.
Springer-Verlag.

PDF

?

?

1993

An Algebraic Approach to Streams
B. M?ller
In R. Berghammer, G. Schmidt (eds.): Programmiersprachen und Grundlagen der Programmierung.
Fakult?t für Informatik, Universit?t der Bundeswehr München, Bericht Nr. 9309, pp. 1-14

?

Towards pointer algebra
B. M?ller
In Science of Computer Programming 21. pp. 57-90, 1993.

PDF

?

Formal program development
B. M?ller, H.A. Partsch, S.A. Schuman (eds.)
LNCS 755, 1993.

PDF

?

Algebraic calculation of graph and sorting algorithms
B. M?ller
In D. Bjorner, M. Broy, I.V. Pottosin (eds.): Formal methods in Programming and their Applications, LNCS 735.
pp. 394-413, 1993. Springer-Verlag.

PDF

?

Derivation of graph and pointer algorithms
B. M?ller
In B. M?ller, H.A. Partsch, S.A. Schuman (eds.): Formal program development, LNCS 755.
pp. 123-160, 1993. Springer-Verlag.

PDF

?

Shorter paths to graph algorithms
B. M?ller, M. Russling
In R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.): Mathematics of program construction, LNCS 669.
pp. 250-268, 1993. Springer-Verlag.

PDF

?

?

1992

?

Design and proof of multipliers by correctness-preserving transformation
C. Delgado Kloos, W. Dosch, B. M?ller
IEEE International Conference on Computer Systems and Software Engineering (CompEuro 92).
pp. 238-243, Los Alamitos, CA, USA, 1992.
In P. Dewilde, J. Vandewalle (eds.): Proc. IEEE International Conference on Computer Systems and Software Engineering. IEEE Computer Society Press.

PDF

?

Some applications of pointer algebra
B. M?ller
In Broy, M. (ed.): Programming and mathematical method. NATO ASI Series, Series F: Computer and Systems Sciences, Vol. 88.
pp. 123-155, 1992.
Springer-Verlag.

PDF

?

?

1991

Relations as a program development language
B. M?ller
IFIP TC2 Conference.
In B. M?ller (ed.): Constructing programs from specifications.
pp. 373-397, Pacific Grove, USA, 1991.
North Holland.

?

Formal derivation of pointer algorithms
B. M?ller
In M. Broy (ed.): Informatik und Mathematik.
pp. 419-440, 1991. Springer-Verlag.

PDF

?

Programming with (finite) mappings
P. Pepper, B. M?ller
In M. Broy (ed.): Informatik und Mathematik.
pp. 381-405, 1991.
Springer-Verlag.

?

Calculating a garbage collector
U. Berger, W. Meixner, B. M?ller
In M. Broy, M. Wirsing (eds.): Methodik des Programmierens, Methods of programming, LNCS 544.
pp. 137-192, 1991. Springer-Verlag.

PDF

?

Constructing programs from specifications
B. M?ller (ed.)
Proc. IFIP TC2 Conference, 1991.

?

?

1990

Systematic derivation of pointer algorithms
B. M?ller
In A. Reuter (ed.): GI - 20. Jahrestagung II. Informatik-Fachberichte 258.
pp. 537-547, 1990. Springer-Verlag.

PDF

?

On the refinement of nondeterministic recursive routines by transformation
R. Berghammer, H. Ehler, B. M?ller
In M. Broy, C.B. Jones (eds.): Programming concepts and methods.
pp. 53-71, 1990.
North-Holland.

Suche