Searched for: +
(1 - 20 of 22)

Pages

document
Konat, G. (author), Kats, L.C.L. (author), Wachsmuth, G. (author), Visser, E. (author)
Preprint of paper published in: SLE 2012 - 5th International Conference on Software Language Engineering, 26-28 September 2012, Lecture Notes in Computer Science 7745; doi:10.1007/978-3-642-36089-3_18 In textual software languages, names are used to reference elements like variables, methods, classes, etc. Name resolution analyses these names in...
lecture notes 2012
document
Kats, L.C.L. (author), Vogelij, R.G. (author), Kalleberg, K.T. (author), Visser, E. (author)
Preprint of paper published in: Onward! 2012 - Proceedings of the 11th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software, 19-26 October 2012; 10.1145/2384592.2384603 Software is rapidly moving from the desktop to theWeb. The Web provides a generic user interface that allows ubiquitous access, instant...
report 2012
document
De Jonge, M. (author), Kats, L.C.L. (author), Soderberg, E. (author), Visser, E. (author)
Author's version of the work published in: ACM Transactions on Programming Languages and Systems (TOPLAS), 34 (4), 2012; doi:10.1145/2400676.2400678. Integrated development environments (IDEs) increase programmer productivity, providing rapid, interactive feedback based on the syntax and semantics of a language. Unlike conventional parsing...
report 2012
document
Lindeman, R.T. (author), Kats, L.C.L. (author), Visser, E. (author)
Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification can be extended to describe a debugger for a language. To realize this, we introduce a meta...
report 2011
document
Kats, L.C.L. (author), Vermaas, R. (author), Visser, E. (author)
The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as domain-specific languages, often remain untested. General-purpose testing techniques and test...
report 2011
document
Kats, C.L. (author), Kalleberg, K.T. (author), Visser, E. (author)
In meta-programming with concrete object syntax, meta programs can be written using the concrete syntax of manipulated programs. Quotations of concrete syntax fragments and anti-quotations for meta-level expressions and variables are used to manipulate the abstract representation of programs. These small, isolated fragments are often ambiguous...
lecture notes 2010
document
Hemel, Z. (author), Groenewegen, D.M. (author), Kats, L.C.L. (author), Visser, E. (author)
Modern web application development frameworks provide web application developers with highlevel abstractions to improve their productivity. However, their support for static verification of applications is limited. Inconsistencies in an application are often not detected statically, but appear as errors at run-time. The reports about these...
report 2010
document
Kats, L.C. (author), Visser, E. (author)
Software platforms such as the Java Virtual Machine or the CLR .NET virtual machine have their own ecosystem of a core programming language or instruction set, libraries, and developer community. Programming languages can target multiple software platforms to increase interoperability or to boost performance. Introducing a new compiler backend...
report 2010
document
Kats, L.C.L. (author), Visser, E. (author), Wachsmuth, G. (author)
Syntax definitions are pervasive in modern software systems, and serve as the basis for language processing tools like parsers and compilers. Mainstream parser generators pose restrictions on syntax definitions that follow from their implementation algorithm. They hamper evolution, maintainability, and compositionality of syntax definitions. The...
report 2010
document
Kats, L.C.L. (author), Visser, E. (author)
Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into a single environment. It uses concise, declarative specifications for languages and IDE...
report 2010
document
Kats, L.C.L. (author), Visser, E. (author)
Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. It provides a comprehensive environment that integrates syntax definition, program transformation, code generation, and declarative specification of IDE components Preprint accepted for publication in SPLASH...
report 2010
document
Kats, L.C.L. (author), Kalleberg, K.T. (author), Visser, E. (author)
Modern IDEs increase developer productivity by incorporating many different kinds of editor services. These can be purely syntactic, such as syntax highlighting, code folding, and an outline for navigation; or they can be based on the language semantics, such as in-line type error reporting and resolving identifier declarations. Building all...
journal article 2010
document
Sloane, A.M. (author), Kats, L.C.L. (author), Visser, E. (author)
Attribute grammars are a powerful specification paradigm for many language processing tasks, particularly semantic analysis of programming languages. Recent attribute grammar systems use dynamic scheduling algorithms to evaluate attributes by need. In this paper, we show how to remove the need for a generator, by embedding a dynamic approach in...
journal article 2010
document
Kats, L.C.L. (author), De Jonge, M. (author), Nilsson-Nyman, E. (author), Visser, E. (author)
This paper is a pre-print of: Providing Rapid Feedback in Generated Modular Language Environments. Adding Error Recovery to Scannerless Generalized-LR Parsing. In: Gary T. Leavens, editor, Proceedings of the 24th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2009), ACM, 2009. Integrated...
report 2009
document
Sloane, A.M. (author), Kats, L.C.L. (author), Visser, E. (author)
This paper is a pre-print of: Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser. A Pure Object-Oriented Embedding of Attribute Grammars. In T. Ekman and J. Vinju, editors, Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA’09), Electronic Notes in Theoretical Computer Science. York, United Kingdom, March...
report 2009
document
Kats, L.C.L. (author), Kalleberg, K.T. (author), Visser, E. (author)
This paper is a pre-print of: Lennart C. L. Kats, Karl T. Kalleberg, Eelco Visser. Domain-Specific Languages for Composable Editor Plugins. In T. Ekman and J. Vinju, editors, Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA’09), Electronic Notes in Theoretical Computer Science. York, United Kingdom, March...
report 2009
document
Groenewegen, D.M. (author), Hemel, Z. (author), Kats, L.C.L. (author), Visser, E. (author)
Preprint of paper published in: OOPSLA 2008 - ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 19-23 October 2008; doi:10.1145/1449814.1449858 WebDSL is a domain-specific language for the implementation of dynamic web applications with a rich data model. It consists of a core language with constructs...
report 2008
document
Kats, L. (author), Kalleberg, K.T. (author), Visser, E. (author)
Preprint of paper published in: LDTA 2008: 8th Workshop on Language Descriptions, Tools and Applications, 5 April 2008 Integrated Development Environments (IDEs) increase productivity by providing a rich user interface and rapid feedback for a specific language. Creating an editor for a specific language is not a trivial undertaking, and is a...
report 2008
document
Kats, L.C.L. (author), Sloane, A.M. (author), Visser, E. (author)
Preprint of paper published in: Compiler Construction, Lecture Notes in Computer Science 5501, 2009; doi:10.1007/978-3-642-00722-4_11 Attribute grammars are a powerful specification formalism for tree-based computation, particularly for software language processing. Various extensions have been proposed to abstract over common patterns in...
lecture notes 2008
document
Groenewegen, D.M. (author), Hemel, Z. (author), Kats, L.C.L. (author), Visser, E. (author)
Preprint of paper published in: DSM 2008 - Proceedings of the 8th OOPSLA Workshop on Domain-Specific Modeling, Nashville, USA, 19-20 October 2008
report 2008
Searched for: +
(1 - 20 of 22)

Pages