Franz Puntigam
TU Vienna
Publications of Franz Puntigam
- Franz Puntigam.
Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities.
In Twelfth International Workshop on Component-Oriented Programming (WCOP 2005), 31.07.2007, Berlin, Germany.
- Abstract
- Paper
- Slides
- Franz Puntigam.
See the Pet in the Beast: How to Limit Effects of Aliasing.
In International Workshop on Aliasing, Confinment and Ownership in object-oriented programming (IWACO 2007), 30.07.2007, Berlin, Germany.
- Abstract
- Paper
- Slides
- Franz Puntigam.
Internal and External Token-Based Synchronization in Object-Oriented Languages.
In Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, 13.-15.9.2006, Oxford, UK. LNCS 4228, Springer 2006, ISBN 3-540-40927-0, pp. 251-270.
- Abstract
- Paper
- Slides
- Springer Link
- Franz Puntigam.
From Static to Dynamic Process Types.
In ICSOFT 2006, First International Conference on Software and Data Technologies (1), 11.-14.9.2006, Setubal, Portugal. INSTICC Press 2006, ISBN 972-8865-69-4, pp. 21-28.
- Abstract
- Paper
- Slides
- Franz Puntigam.
Client and Server Synchronization Expressed in Types.
In Synchronization and Concurrency in Object-Oriented Languages (SCOOL), Workshop at OOPSLA, 16.10.2005, San Diego, California.
- Abstract
- Paper
- Franz Puntigam.
Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition.
In Second ECOOP Workshop on Programming Languages and Operating Systems (ECOOP-PLOS'05), 26.07.2005, Glasgow, UK.
- Abstract
- Paper
- Franz Puntigam.
In Components We Trust - Programming Language Support for Weak Protection.
In Tenth International Workshop on Component-Oriented Programming (WCOP 2005), 25.07.2005, Glasgow, UK.
- Abstract
- Paper
- Franz Puntigam.
State Information in Statically Checked Interfaces.
In Eighth International Workshop on Component-Oriented Programming, 21.07.2003, Darmstadt, Germany.
- Abstract
- Paper
- Franz Puntigam.
Synchronization with Type Variables.
In Workshop on Object-oriented Language Engineering for the Post-Java Era, 22.07.2003, Darmstadt, Germany.
- Abstract
- Paper
- Franz Puntigam.
State inference for dynamically changing interfaces.
Computer Languages 27 (2002) 163-202.
- Abstract
- Martin Lackner, Andreas Krall, and Franz Puntigam.
Supporting Design by Contract in Java.
Journal of Object Technology
1(3):57--76, 2002.
Also in TOOLS USA 2002, Christine Mingins (Editor),
Santa Barbara, California, July 2002.
- Abstract
- Paper
- Franz Puntigam and Christof Peter.
Types for Active Objects with Static Deadlock Prevention.
Fundamenta Informaticae
48(4):315-341, December 2001.
- Abstract
- Franz Puntigam.
Strong types for coordinating active objects.
Concurrency and Computation: Practice and Experience
13:293-326, 2001.
- Abstract
- Franz Puntigam.
Flexible Types for a Concurrent Model.
In Concurrent Object-Oriented Programming and Petri Nets,
G. Agha, F. De Cindio and G. Rozenberg (editors),
Springer-Verlag, LNCS 2001, 2001.
- Abstract
- Franz Puntigam.
Concurrent Object-Oriented Programming with Process Types.
Habilitationsschrift. Der Andere Verlag, Osnabrück, Germany, 2000.
- Abstract
- Franz Puntigam.
Non-Regular Process Types.
In Proceedings of the 5th European Conference on Parallel Processing
(Euro-Par'99), P. Amestoy et al. (eds.),
Springer-Verlag, LNCS 1685,
Toulouse, France, September 1999.
- Abstract
- Paper
- Christof Peter and Franz Puntigam.
A Concurrent Object Calculus with Types that Express Sequences.
In Proceedings of the ECOOP Workshop on Semantics of Objects as Processes (SOAP'99),
Lisbon, Portugal, June 1999.
- Abstract
- Paper
- Franz Puntigam and Christof Peter.
Changeable Interfaces and Promised Messages for Concurrent Components.
In Proceedings of the ACM Symposium on Applied Computing (SAC'99),
San Antonio, Texas, February 1999.
- Abstract
- Paper
- Franz Puntigam.
Dynamic Type Information in Process Types.
In Proceedings of the 4th European Conference on Parallel Processing
(Euro-Par'98), David Pritchard and Jeff Reeve (eds.),
Springer-Verlag, LNCS 1470,
Southampton, England, September 1998.
- Abstract
- Paper
- Christof Peter and Franz Puntigam.
Coordination of CORBA Objects with Process Types.
Work in Progress contribution to Middleware '98,
The Lake District, England, September 1998.
- Abstract
- Paper
- Franz Puntigam.
Coordination Requirements Expressed in Types for Active Objects.
In Proceedings of the European Conference on Object-Oriented
Programming (ECOOP'97), Mehmet Aksit and Satoshi Matsuoka (eds.),
Springer-Verlag, LNCS 1241, Jyväskylä, Finland, June 1997.
- Abstract
- Paper
- Technical Report
- Christof Peter and Franz Puntigam.
Static Type Checking and Deadlock Prevention in Systems Based on
Asynchronous Message Passing.
In Proceedings of the ECOOP Workshop on Models, Formalisms and
Methods for Distributed Object-Oriented Computing,
Jyväskylä, Finland, June 1997.
- Abstract
- Paper
- Franz Puntigam.
Types that Reflect Changes of Object Usability.
In Proceedings of the Joint Modular Languages Conference (JMLC'97),
Springer-Verlag, LNCS 1204, Linz, Austria, March 1997.
- Abstract
- Paper
- Franz Puntigam.
Synchronization Expressed in Types of Communication Channels.
In Proceedings of the 2nd European Conference on Parallel Processing (Euro-Par'96),
Springer-Verlag, LNCS 1123, Lyon, France, August 1996.
- Abstract
- Paper
- Franz Puntigam.
Types for Active Objects Based on Trace Semantics.
In Proceedings of the 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS'96),
IFIP WG 6.1, Paris, France, March 1996.
- Abstract
- Paper
- Franz Puntigam.
Practical Expressive Types for Active Objects.
In Proceedings of the 2nd Conference on Parallel Object-Oriented Methods and Applications (POOMA'96),
Santa Fe, New Mexico, February 1996.
- Abstract
- Paper
- Franz Puntigam.
Type Specifications with Processes.
In Proceedings of the 8th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE'95),
IFIP WG 6.1, Montreal, Quebec, Canada, October 1995.
- Abstract
- Paper
- Franz Puntigam.
Typen für logikbasierte aktive Objekte.
In 11. Workshop Logische Programmierung,
GMD-Studien Nr. 270, Wien, Austria, September 1995. (In German.)
- Abstract
- Paper
- Franz Puntigam.
Flexible Types for a Concurrent Model.
In Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency,
Torino, Italy, June 1995.
- Abstract
- Paper
- Franz Puntigam.
Type Specialization for Object-Oriented Coordination.
In Proceedings of the Joint Conference on Information Sciences,
Pinehurst, NC, November 1994.
- Abstract
- Paper
- Franz Puntigam.
Type Specialization and Coordination.
In Proceedings of the Workshop on Coordination Models and Languages for Parallelism and Distribution,
Bologna, Italy, July 1994.
- Abstract
- Paper
- Franz Puntigam.
Transactions on Shared Data: A Coordination Model.
In Proceedings of the 27th Hawaii International Conference on System Sciences,
Maui, Hawaii, January 1994.
- Abstract
- Paper
- Eva Kühn, Herbert Pohlai, and Franz Puntigam.
Communication and Transactions in Vienna Parallel Logic.
Computers and Artificial Intelligence,
Vol. 13, No. 4, 1994.
- Abstract
- Paper
- Eva Kühn, Herbert Pohlai, and Franz Puntigam.
Concurrency and Backtracking in Vienna Parallel Logic.
Computer Languages, Vol. 19, No. 3, 1993.
- Abstract
- Paper
- Omran Bukhres, Eva Kühn, and Franz Puntigam.
A Language Multidatabase System Communication Protocol.
In Proceedings of the 9th International Conference on Data Engineering (DE'93),
Vienna, Austria, April 1993.
- Abstract
- Paper
- Eva Kühn and Franz Puntigam.
Reliable Communication in VPL.
In Proceedings of the International Conference on Parallel Architectures and Languages Europe (PARLE'92),
Springer-Verlag, LNCS 605, Paris, June 1992.
- Abstract
- Paper
- Eva Kühn, Franz Puntigam, and Ahmed K. Elmagarmid.
An Execution Model for Distributed Database Transactions and Its Implementation in VPL.
In Proceedings of the 3rd International Conference on Extending Database Technology (EDBT'92),
Vienna, Austria, March 1992.
- Abstract
- Paper
- Eva Kühn and Franz Puntigam.
Embedding MSQL Queries into a Logic Based Transaction Processing Framework.
In Proceedings of the 2nd International Workshop on Research Issues on Data Engineering: Transaction and Query Processing (RIDE-TQP),
Phoenix, Arizona, February 1992.
- Abstract
- Paper
- Eva Kühn, Franz Puntigam, and Ahmed K. Elmagarmid.
Multidatabase Transaction and Query Processing in Logic.
In Database Transaction Models for Advanced Applications,
A. K. Elmagarmid (ed.), Morgan Kaufmann, 1992.
- Abstract
- Paper
- Eva Kühn, Franz Puntigam, and Ahmed K. Elmagarmid.
Transaction Specification in Multidatabase Systems based on Parallel Logic Programming.
In Proceedings of the 1st International Workshop on Interoperability in Multidatabase Systems (RIDE-IMS'91), Kyoto, Japan, April 1991.
- Abstract
- Paper
- Franz Puntigam.
Vergleich und Analyse von Concurrency Control Algorithmen für verteilte Systeme.
In UNIX Forum V, Oldenbourg Verlag, Vienna, Austria, 1990.
top |
HTML 4.01 |
last update: 2007-12-21 (Puntigam)