Franz Puntigam
TU Vienna

Research

Process Types in Programming Languages:

Currently I am developing a new object-oriented programming language with a novel type system supporting synchronization of concurrent processes and reliable swapping of state-full software components. Here are some early results of this work:
See the pet in the beast: How to limit effects of aliasing
Black & white, never grey: On interfaces, sync...
Internal and external token-based synchronization in oo lang...
From static to dynamic process types
Client and server synchronization expressed in types
Reliable shared memory communication
In components we trust
State information in statically checked interfaces
Synchronization with type variables
Dagstuhl seminar 03431
The language is based on "process types", a type system able to deal with dynamic changes of message acceptability in a static way. Work on process types was supported by the FWF in the project "Static Process Types for Active Objects" (P12703-INF) carried out in 1999.
State inference for dynamically changing interfaces
Types for active objects with static deadlock prevention
Strong types for coordinating active objects
Flexible types for a concurrent model
Concurrent object-oriented programming with process types
Expressiveness and applicability of process types
Non-regular process types
A concurrent object calculus with types that express sequences
Changeable interfaces and promised messages for concurrent ...
Dynamic type information in process types
Coordination of CORBA objects with process types
Coordination requirements expressed in types for active objects
Static type checking and deadlock prevention in systems ...
Types that reflect changes of object usability
Synchronization expressed in types of communication channels
Types for active objects based on trace semantics
Practical expressive types for active objects
Type specifications with processes
Typen für logikbasierte aktive Objekte (German)
Flexible types for a concurrent model

Type Specialization:

Process types were inspired by some earlier work on a programming model where types become increasingly specialized:
Type specialization for object-oriented coordination
Type specialization and coordination
Transactions on shared data: a coordination model

Vienna Parallel Logic:

Much of the earlier work deals with VPL, a logic-based concurrent language with a transaction model useful in multidatabase systems:
Communication and transactions in Vienna Parallel Logic
Concurrency and backtracking in Vienna Parallel Logic
A language multidatabase system communication protocol
Reliable communication in VPL
An execution model for distributed database transactions and its ...
Embedding MSQL queries into a logic based transaction ...
Multidatabase transaction and query processing in logic
Transaction specification in multidatabase systems based on ...
Complang
Puntigam
   About Me
   Research
      Publications
      Student Work
   Lehre
   Links
Sitemap
Contact
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2007-12-21 (Puntigam)