Search results for "stratego"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
137	Eelco Visser	Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
107	Jonathan Riehl	Assimilating MetaBorg: : embedding language tools in languages.	GPCE	2006	DBLP DOI BibTeX RDF	MetaBorg, concrete syntax macros, extensible syntax, staged multi-language programming, self application, SDF, stratego
88	Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser	Stratego/XT 0.16: components for transformation systems.	PEPM	2006	DBLP DOI BibTeX RDF	pretty-printers, rewriting strategies, transformation components, compilers, program transformation, program analysis, term rewriting, program optimization, parsers, transformation systems
77	Markus Kaiser 0002, Ralf Lämmel	An Isabelle/HOL-based model of stratego-like traversal strategies.	PPDP	2009	DBLP DOI BibTeX RDF	generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego
59	Eelco Visser	Strategic Pattern Matching.	RTA	1999	DBLP DOI BibTeX RDF
49	Martin Bravenboer, René de Groot, Eelco Visser	MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT.	GTTSE	2005	DBLP DOI BibTeX RDF
48	Martin Bravenboer, Eelco Visser	Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions.	OOPSLA	2004	DBLP DOI BibTeX RDF	MetaBorg, concrete object syntax, extensible syntax, syntax extension, domain-specific languages, rewriting, meta programming, embedded languages, SDF, stratego
40	James R. Cordy	Eating our own dog food: DSLs for generative and transformational engineering.	GPCE	2009	DBLP DOI BibTeX RDF	source transformation systems, domain-specific languages, model driven engineering, generative programming
40	Andy Gill	A Haskell Hosted DSL for Writing Transformation Systems.	DSL	2009	DBLP DOI BibTeX RDF
40	Eelco Visser	WebDSL: A Case Study in Domain-Specific Language Engineering.	GTTSE	2007	DBLP DOI BibTeX RDF
29	Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba	A toolchain for domestic heat-pump control using Uppaal Stratego.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
29	Martin Kristjansen, Abhijit Kulkarni, Peter Gjøl Jensen, Remus Teodorescu, Kim Guldstrand Larsen	Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego.	IECON	2023	DBLP DOI BibTeX RDF
29	Julien Pérolat, Bart De Vylder, Daniel Hennes, Eugene Tarassov, Florian Strub, Vincent de Boer, Paul Muller, Jerome T. Connor, Neil Burch, Thomas W. Anthony 0001, Stephen McAleer, Romuald Elie, Sarah H. Cen, Zhe Wang, Audrunas Gruslys, Aleksandra Malysheva, Mina Khan, Sherjil Ozair, Finbarr Timbers, Toby Pohlen, Tom Eccles, Mark Rowland, Marc Lanctot, Jean-Baptiste Lespiau, Bilal Piot, Shayegan Omidshafiei, Edward Lockhart, Laurent Sifre, Nathalie Beauguerlange, Rémi Munos, David Silver, Satinder Singh 0001, Demis Hassabis, Karl Tuyls	Mastering the Game of Stratego with Model-Free Multiagent Reinforcement Learning.	CoRR	2022	DBLP DOI BibTeX RDF
29	Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis	Playing Wordle with Uppaal Stratego.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
29	Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao	STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego.	ATVA	2022	DBLP DOI BibTeX RDF
29	Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba	End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego.	TASE	2022	DBLP DOI BibTeX RDF
29	Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao	Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO.	COMSNETS	2021	DBLP DOI BibTeX RDF
29	Philip I. Holler, Magnus K. Jensen, Hannah Marie K. Lockey, Michele Albano	Strategising RoboCup in Real Time with Uppaal Stratego.	ICAART (1)	2021	DBLP DOI BibTeX RDF
29	Davide Basile 0001, Maurice H. ter Beek, Axel Legay	Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.	FORTE	2020	DBLP DOI BibTeX RDF
29	Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao	Coordinated Intelligent Traffic Lights using Uppaal Stratego.	COMSNETS	2019	DBLP DOI BibTeX RDF
29	Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist	Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs.	ATVA	2019	DBLP DOI BibTeX RDF
29	Sergiu Redeca, Adrian Groza	Designing agents for the Stratego game.	ICCP	2018	DBLP DOI BibTeX RDF
29	Shengxin Dai, Mei Hong, Bing Guo	Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO.	Int. J. Distributed Sens. Networks	2017	DBLP DOI BibTeX RDF
29	Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou	Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Waheed Ahmad, Jaco van de Pol	Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.	ISoLA (1)	2016	DBLP DOI BibTeX RDF
29	Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist	Uppaal Stratego.	TACAS	2015	DBLP DOI BibTeX RDF
29	Imer Satz	Managing Uncertainty in Stratego.	J. Int. Comput. Games Assoc.	2011	DBLP DOI BibTeX RDF
29	Vincent de Boer, Léon J. M. Rothkrantz, Pascal Wiggers	Invincible - A Stratego Bot.	Int. J. Intell. Games Simul.	2008	DBLP BibTeX RDF
29	Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser	Stratego/XT 0.17. A language and toolset for program transformation.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
29	Leonard G. C. Hamey, Shirley Goldrei	Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper.	LDTA@ETAPS	2007	DBLP DOI BibTeX RDF
29	Karl Trygve Kalleberg	Stratego: a programming language for program manipulation.	ACM Crossroads	2006	DBLP DOI BibTeX RDF
29	Caspar Treijtel, Léon J. M. Rothkrantz	Stratego Expert System Shell.	GAME-ON	2001	DBLP BibTeX RDF
29	Eelco Visser	Stratego: A Language for Program Transformation Based on Rewriting Strategies.	RTA	2001	DBLP DOI BibTeX RDF
29	Patricia Johann, Eelco Visser	Warm fusion in Stratego: A case study in generation of program transformation systems.	Ann. Math. Artif. Intell.	2000	DBLP DOI BibTeX RDF
28	Ralf Lämmel	Scrap your boilerplate: prologically!	PPDP	2009	DBLP DOI BibTeX RDF	scrap your boilerplate, prolog, haskell, stratego
28	Lennart C. L. Kats, Martin Bravenboer, Eelco Visser	Mixing source and bytecode: a case for compilation by normalization.	OOPSLA	2008	DBLP DOI BibTeX RDF	dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego
20	Lennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser	Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing.	OOPSLA	2009	DBLP DOI BibTeX RDF	composable languages, permissive grammars, sglr, error recovery, language extensions, embedded languages, sdf
20	Tomás Bures, Michal Malohlava, Petr Hnetynka	Using DSL for Automatic Generation of Software Connectors.	ICCBSS	2008	DBLP DOI BibTeX RDF	interoperability, component, composition, code generation, connector
20	Zef Hemel, Lennart C. L. Kats, Eelco Visser	Code Generation by Model Transformation.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
20	Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Semantics of static pointcuts in aspectJ.	POPL	2007	DBLP DOI BibTeX RDF	logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts
20	Leonard G. C. Hamey	Efficient Image Processing with the Apply Language.	DICTA	2007	DBLP DOI BibTeX RDF
20	Karina Olmos, Eelco Visser	Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules.	CC	2005	DBLP DOI BibTeX RDF
20	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
20	Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser	Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs.	SCAM	2003	DBLP DOI BibTeX RDF
20	Eelco Visser	Meta-programming with Concrete Object Syntax.	GPCE	2002	DBLP DOI BibTeX RDF
20	Martin Bravenboer, Eelco Visser	Rewriting Strategies for Instruction Selection.	RTA	2002	DBLP DOI BibTeX RDF