Design for Proof: An Approach to the Design of Domain-Specific Languages

Formal Aspects of Computing

Volumn 10, Issue 5-6, 1998, Pages 452-468

  Anderson, Stuart ^a   Tourlas, Konstantinos ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Domain specific languages; Industrial critical systems; Programmable controllers; Programming language design

Indexed keywords

EID: 2542596175     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050027     Document Type: Article

References (15)

1. Benveniste, A., Caspi, P., Le Guernic, P. and Halbwachs, N.: Data-flow synchronous languages. In A Decade of Concurrency - Reflections and Perspectives, volume 803 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
2. Benveniste, A., Le Guernic, P., Sorel, Y. and Sonne, M.: A denotational theory of synchronous reactive systems. Information and Computation, 99(2):192-230, August 1992.
3. Bruce, D.: What makes a good domain specific language? In Proceedings of the First ACM Workshop on Domain-Specific Languages. ACM, 1997.
4. International Electrotechnical Commission. International Standard 1131. Programmable Controllers. Part 3: Programming Languages. IEC, 1993.
5. Gautier, T. and Le Guernic, P.: SIGNAL: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 257-277. Springer-Verlag, 1987.
6. Gurr, C. A.: On the isomporphism of representations. In K. Marriott and B. Meyer, editors, Visual Language Theory, pages 288-301. Springer-Verlag, 1998.
7. Halang, W. A. and Frigeri, A. H.: Methods and languages for safety related real time programming. In 17th International Conference on Computer Safety, Reliablity and Security (SAFECOMP'98), 1998.
8. Halang, W., Krämer, B. and Völker, N.: Formally verified firmware modules for industrial process automation. In G. Rabe, editor, 14th International Conference on Computer Safety, Reliablity and Security (SAFECOMP'95), pages 206-218, 1995.
9. Hudak, P.: Building domain-specific embedded languages. ACM Computing Surveys, 28(4), December 1996.
10. Krämer, B. and Völker, N.: A highly dependable computing architecture for safety-critical control applications. Real-Time Systems Journal, 1997.
11. Lewis, R. W.: Programming industrial control systems using IEC 1131-3. Control Engineering. The Institution of Electrical Engineers (IEE), London, 1995.
12. Stirling, C.: A generalisation of Owicki-Gries's Hoare logic for a concurrent while language. Theoretical Computer Science, 58:347-359, 1988.
13. Tourlas, K.: An assessement of the IEC 1131-3 standard on languages for programmable controllers. In Peter Daniel, editor, 16th International Conference on Computer Safety, Reliablity and Security (SAFECOMP'97). Springer-Verlag, 1997.
14. Winskel, G.: The Formal Semantics of Programming Languages. Foundations of Computing Series. The MIT Press, 1994.
15. Xu, Q., de Roever, W.-P. and He. J.: The Rely-Guarantee method for verifying shared variable concurrent programs. Formal Aspects of Computing, 9(2):149-174, 1997.