Formal design constraints

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 10, 1996, Pages 370-383

  Klarlund, Nils ^a   Koistinen, Jari ^a   Schwartzbach, Michael I ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; CONSTRAINT THEORY; FORMAL LOGIC;

DESIGN CONSTRAINT LANGUAGE (CDL);

OBJECT ORIENTED PROGRAMMING;

EID: 0030262962     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/236338.236376     Document Type: Article

References (20)

1. D. Basin and N. Klarlund. Hardware verification using monadic second-order logic. In Computer aided verification : 7th International Conference, CAV '95, LNCS 939, 1995.
2. Randal E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, August 1986.
3. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison-Wesley, 1995.
4. David Garlan, Robert Allen, and John Ockerbloom. Exploiting style in architectural design environments. SIGSOFT, (12), December 1994.
5. J.G. Henriksen, J. Jensen, M. Jørgensen, N. Klarlund, B. Paige, T. Rauhe, and A. Sandholm. Mona: Monadic second-order logic in practice. In Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS '95, LNCS 1019, 1996. Also available through http://www.brics.aau.dk/~klarlund.
6. Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow. The Art of the Metaobject Protocol. MIT Press, 1991.
7. N. Klarlund, M. Nielsen, and K. Sunesen. Automated logical verification based on trace abstraction. Technical Report RS-95-53, BRICS, 1995. To appear in Proceedings of PODC '96.
8. Nils Klarlund and Theis Rauhe. BDD algorithms and cache misses. Technical Report RS-96-05, BRICS, 1996. Submitted.
9. Nils Klarlund and Michael I. Schwartzbach. Logical programming for regular trees. BRICS, University of Aarhus, December 1995.
10. Jari Koistinen. The Delos category definition language: Definition and rational. Ellemtel Telecommunication Systems Laboratories. Also available through http://dsv.su.se/~jari/acprojects.html., July 1995.
11. Jari Koistinen, Eui-Suk Chung, Mats Svensson, and Martin Boström. Delos 2.2 language description. Ellemtel Telecommunication Systems Laboratories. Also available through http://dsv.su.se/~jari/acprojects.html., December 1995.
12. Johan Liseborn. The Delos Category Definition Language: A user's first impression. Ellemtel Telecommunication Systems Laboratories. Also available through http://dsv.su.se/~jari/acprojects.html.
13. Scott Meyer, Carolyn K Duby, and Steven P. Reiss. Constraining the structure and style of object-oriented programs. In First Workshop on Principles and Practice of Constraint Programming. Brown Univeristy Computer Science Technical Report CS-93-12, April 1993.
14. N. L. Minsky. Law-governed regularities in object systems; part 1: Principles. To be published in Theory and Practice of Object Systems (TOPAS)). Also, available through http://www.cs.rutgers.edu/~minsky/ pubs.html., 199?
15. Object Management Group. The Common Object Request Broker: architecture and specification, December 1991. OMG Document Number 91.12.1, revision 1.1.
16. Object Management Group. Common Object Services Specification, Volume 1, March 1994. OMG doc nr. 94-1-1, Revision 1.0.
17. Dewayne E. Perry and Alexander L. Wolf. Foundations for the study of software architecture. ACM Software Engineering Notes, 17(4), October 1992.
18. ITU-T recommendation X.880. Remote operations: Concept, model, and notation. July 1994.
19. James Rogers. Studies in the logic of trees with applications to grammar formalisms. PhD thesis, University of Delaware, 1994.
20. W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133-191. MIT Press/Elsevier, 1990.