Programming perl
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
PostScript Language Reference Manual
PostScript Language Reference Manual
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software
Proceedings of the 7th International Conference on Computer Aided Verification
Safe and Efficient Active Network Programming
SRDS '98 Proceedings of the The 17th IEEE Symposium on Reliable Distributed Systems
Experience with a domain specific language for form-based services
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Hi-index | 0.00 |
Wide-area networks such as the Internet support distributed applications that occasionally incorporate services owned and operated by third parties. These third-party network services must be reliable and secure; they must support efficient and responsive applications; finally, they must be cost-effective. Can programming languages contribute to achieving these goals? This paper responds to that question by relating experience with the Phone Markup Language (PML), and its role in a project code-named "PhoneWeb". The PhoneWeb provides Voice Response Unit (VRU) capabilities to untrusted remote clients by accepting PML programs and executing them: PML acts as the PhoneWeb "service interface". By using a language as the service interface, we have obtained the performance benefits due to mobile code; and through restrictions on our language we have achieved security and reliability. The resulting service allows us to timeshare the underlying hardware, yielding a solution that is more cost-effective than its alternatives.