Posts

Showing posts from February, 2017

An ontological approach to technology documentation

SE talk at Chalmers,  Gothenburg , Sweden An ontological approach to technology documentation Room 473 / Wed March 1 - 11:00 - 12:00 .    Speaker: Ralf Lämmel, University of Koblenz-Landau Abstract : In this talk, I am going to present an ontological approach to software technology documentation. That is, usage scenarios of a technology (such as an object/relational mapper, a web-application framework, or a model transformation) are captured in terms of the involved entities (e.g., artifacts, languages, abstract processes, programming paradigms, functions, and function applications) and the relationships between them (e.g., membership, conformance, transformation, usage, and reference). I am going to discuss language and tool support for and experiences with developing such technology documentation. In the SoftLang team at Koblenz, we work on the related but broader notion of "linguistic software architecture" or "megamodeling". I will briefly discu

The Haskell Road to Software Language Engineering and Metaprogramming

FP talk at Chalmers, Gothenburg , Sweden The Haskell Road to Software Language Engineering and Metaprogramming 2017-02-24 , 10.00, conference room 8103, Rännvägen 6, Johanneberg.    Speaker: Ralf Lämmel, University of Koblenz-Landau Abstract : In this talk, I would like to sketch my upcoming textbook on software languages  http://www.softlang. org/book  while putting on the hat of a Haskell programmer. Overall, the book addresses many issues of software language engineering and metaprogramming: internal and external DSLs, object-program representation, parsing, template processing, pretty printing, interpretation, compilation, type checking, software analysis, software transformation, rewriting, attribute grammars, partial evaluation, program generation, abstraction interpretation, concrete object syntax, and a few more. Haskell plays a major role in the book in that Haskell is used for the implementation for all kinds of language processors, even though some other p