A domain-specific language for regular sets of strings and trees

IEEE Transactions on Software Engineering

Volumn 25, Issue 3, 1999, Pages 378-386

  Klarlund, Nils ^a   Schwartzbach, Michael I ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Domain specific languages; Logic; Regular sets; Strings; Trees

Indexed keywords

DOMAIN SPECIFIC LANGUAGES (DSL); SOFTWARE PACKAGE FIDO;

COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEMS PROGRAMMING; FINITE AUTOMATA; FORMAL LOGIC; HIGH LEVEL LANGUAGES; RESPONSE TIME (COMPUTER SYSTEMS); TREES (MATHEMATICS);

SOFTWARE ENGINEERING;

EID: 0032594218     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.798326     Document Type: Article

References (12)

1. A. Ayari, D. Basin, and A. PodelskiLisa: A Specification Language Based on WS2S Proc. CSL'97, BRICS, 1997.
2. D. Basin and N. KlarlundHardware Verification Using Monadic Second-Order Logic Proc: Seventh Int'l Conf, Computer Aided Verification, CAV'95, Lecture Notes in Computer Science 939,1995.
3. M. Biehl, N. Klarlund, and T. RauheAlgorithms for Guided Tre Automata Proc. WIA'96, Springer-Verlag, 1996.
4. R.E. BryantGraph-Based Algorithms for Boolean Functio Manipulation, IEEE Trans. Computers, Aug. 1986.
5. J.G. Henriksen, M. J0rgensen, J. Jensen, N. Klarlund, B. Paige, T Rauhe, and A. SandholmMona: Monadic Second-Order Logic i Practice Proc. TACAS'95, Lecture Notes in Computer Scienc 1,019, May 1995.
6. G.J. HolzmannThe Model Checker Spin special issue o formal methods in software practice, IEEE Trans. Software Eng. May 1997.
7. J.L. Jensen, M.E. J0rgensen, N. Klarlund, and M.I. Schwartzbach Automatic Verification of Pointer Programs Using Monadi Second-Order Logic Proc. PLDI'97, 1997.
8. N. Klarlund, M. Nielsen, and K. SunesenA Case Study i Automated Verification Based on Trace ions Technica Report RS-95-54, BRICS, Aarhus Univ., 1995.
9. N. Klarlund, M. Nielsen, and K. SunesenAutomated Logica Verification Based on Trace ion Proc. PODC'96 1996.
10. N. Klarlund, J. Koistinen, and M.I. SchwartzbachFormal Desig Constraints Proc. OOPSLA'96, Oct. 1996.
11. N. Klarlund and T. RauheBDD Algorithms and Cache Misses, Technical Report RS-96-05, BRICS, 1996, .
12. J.C. ReynoldsThree Approaches to Type Structure Math Foundations of Software Development, Lecture Notes in Compute Science 185, 1985.