Anders Møller  Home/Search
Context
Related
| brics.dk/DS/Ref/BR...RICSDS024.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/DS/Ref/BR...BRICSDSRef (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Domain-specific formal languages are an essential part of computer science, combining theory and practice. Such languages are characterized by being tailor-made for specific application domains and thereby providing expressiveness on high abstraction levels and allowing specialized analysis and verification techniques. This dissertation describes two projects, each exploring one particular instance of such languages: monadic second-order logic and its application to program verification, and... (Update)
Similar documents based on text: More All
0.3: A Runtime System for XML Transformations in Java - Christensen, Kirkegaard.. (Correct)
0.2: The Design Space of Type Checkers for XML Transformation.. - Møller, Schwartzbach (2004) (Correct)
0.1: A Hierarchical Approach to Monadic Second-Order Logic over Graphs - Schiering (1997) (Correct)
BibTeX entry: (Update)
@phdthesis{ moller02program,
author = "Anders M\oller",
title = "Program Verification with Monadic Second-Order Logic \& Languages for Web
Service Development",
year = "2002",
url = "citeseer.ist.psu.edu/649189.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - CORMEN, LEISERSON et al. - 1990
1911 Introduction to Automata Theory (context) - HOPCROFT, ULLMAN - 1979
1726 Graph-based algorithms for boolean function manipulation - BRYANT - 1986
1399 Compilers -- Principles (context) - AHO, SETHI et al. - 1985
779 Symbolic model checking: 10 states and beyond - BURCH, CLARKE et al. - 1990
737 The Java Programming Language (context) - ARNOLD, GOSLING et al. - 2000
650 An axiomatic basis for computer programming (context) - HOARE - 1969
585 Extensible Markup Language (context) - BRAY, PAOLI et al. - 2000
510 Symbolic boolean manipulation with ordered binary-decision d.. - BRYANT - 1992
374 Automata on infinite objects (context) - THOMAS - 1990
297 Symbolic Model Checking (context) - MCMILLAN - 1993
275 The Science of Programming (context) - GRIES - 1981
259 A survey of program slicing techniques - TIP - 1995
252 Analysis of pointers and structures (context) - CHASE, WEGMAN et al. - 1990
241 Decidability of second-order theories and automata on infini.. (context) - RABIN - 1969
[Article contains additional citations not shown here]
Documents on the same site (http://www.brics.dk/DS/Ref/BRICS-DS-Ref/BRICS-DS-Ref.html): More
Logics and Automata for Verification: Expressiveness and.. - Henriksen (2000) (Correct)
Dynamic Computation - Husfeldt (1997) (Correct)
Games for Verification: Algorithmic Issues - Jurdzinski (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC