Publications de l'équipe ATEAMS

2012

Articles dans des revues avec comité de lecture

Titre

Language Evolution, Metasyntactically

Auteurs

V. Zaytsev

Détail

Electronic Communications of the European Association of Software Science and Technology, European Association of Software Science and Technology, 2012, 49, article-no = 3, pp. 1 - 17

Accès au bibtex

Titre

Ode Aan Turing

Auteurs

P. Klint

Détail

I/O ICT Onderzoek, I/O ICT Onderzoek, 2012, 9 (1), pp. 19 - 19

Accès au bibtex

Titre

Action Emulation

Auteurs

D. J. N. van Eijck; J. Ruan; T. Sadzik

Détail

Synthese, Springer, 2012, 185 (1), pp. 131 - 151

Accès au bibtex

Titre

A One-Stop Shop For Software Evolution Tool Construction

Auteurs

M. A. Hills; P. Klint; T. van der Storm; J. J. Vinju

Détail

ERCIM News, ERCIM, 2012, 88, pp. 11 - 12

Accès au bibtex

Titre

Domain-Specific Languages For Better Forensic Software

Auteurs

J. van den Bos; T. van der Storm

Détail

ERCIM News, ERCIM, 2012, 2012 (90)

Accès au bibtex

Articles dans des revues sans comité de lecture

Titre

De Toekomst Van Het Hoorcollege

Auteurs

P. Klint

Détail

I/O ICT Onderzoek, I/O ICT Onderzoek, 2012, 9 (3), pp. 19 - 19

Accès au bibtex

Titre

De Stille Kracht Van Informatietechnologie, We Kunnen Geen Dag Zonder!

Auteurs

P. Klint

Détail

I/O ICT Onderzoek, I/O ICT Onderzoek, 2012, 9 (2), pp. 19 - 19

Accès au bibtex

Communications avec actes

Titre

Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs

Auteurs

Tijs Van Der Storm; William Cook; Alex Loh

Détail

Krzysztof Czarnecki and Görel Hedin. Software Language Engineering, Sep 2012, Dresden, Germany.

Accès au bibtex

Titre

Language Evolution, Metasyntactically

Auteurs

V. Zaytsev

Détail

Hermann, F and Voigtländer, J. Pre-proceedings of the First International Workshop on Bidirectional Transformation (BX 2012), Mar 2012, Talinn, Estonia. Institute of Cybernetics at Tallinn University of Technology

Accès au bibtex

Titre

Action Emulation Between Canonical Models

Auteurs

D. J. N. van Eijck; F. A. G. Sietsma

Détail

Bonanno, G. and van Ditmarsch, H. and van der Hoek, W.. Proceedings of Conference on Logic and the Foundations of Game and Decision Theory 2012, Jun 2012, Sevilla, Spain. University of Sevilla

Accès au bibtex

Titre

Questions About Voting Rules, With Some Answers

Auteurs

D. J. N. van Eijck; F. A. G. Sietsma

Détail

Goranko, V. and Jamroga, W.. W16 Workshop on Logical Aspects of Multi-Agent Systems, Jun 2012, Valencia, Spain. internet

Accès au bibtex

Titre

Modelling Cryptographic Keys In Dynamic Epistemic Logic With DEMO

Auteurs

H. van Ditmarsch; D. J. N. van Eijck; F. A. G. Sietsma; S. E. Simon

Détail

Perez, J. B. and et al. Highlights on Practical Applications of Agents and Multi-Agent Systems, May 2012, Salamanca, Spain. Springer, 156, pp. 155 - 162

Accès au bibtex

Titre

Meta-Language Support For Type-Safe Access To External Resources

Auteurs

M. A. Hills; P. Klint; J. J. Vinju

Détail

Czarnecki, K. and Hedin, G.. Pre-Proceedings of the 5th International Conference on Software Language Engineering, Sep 2012, Dresden, Netherlands. Fakultät Informatik, Technische Universität Dresden, pp. 370 - 389

Accès au bibtex

Titre

Scripting A Refactoring With Rascal And Eclipse

Auteurs

M. A. Hills; P. Klint; J. J. Vinju

Détail

Sommerlad, P.. Proceedings of the 5th Workshop on Refactoring Tools 2012, Jun 2012, Rapperswil, Switzerland. ACM, pp. 40 - 49

Accès au bibtex

Titre

Program Analysis Scenarios In Rascal

Auteurs

M. A. Hills; P. Klint; J. J. Vinju

Détail

Durán, F. Proceedings of the International Workshop on Rewriting Logic and its Applications (WRLA, 2012), Apr 2012, Talinn, Estonia. Springer, 7571, pp. 10 - 30

Accès au bibtex

Titre

Choosing Products In Social Networks

Auteurs

K. R. Apt; S. E. Simon

Détail

Proceedings of the International Workshop on Internet And Network Economics (WINE, 2012), Sep 2012, Liverpool, United Kingdom. Springer, 7695, pp. 100 - 113

Accès au bibtex

Titre

A Classification Of Weakly Acyclic Games

Auteurs

K. R. Apt; S. E. Simon

Détail

Proceedings of the Symposium on Algorithmic Game Theory (SAGT, 2012), Oct 2012, Barcelona, Spain. Springer, 7615, pp. 1 - 12

Accès au bibtex

Titre

Managed Data: Modular Strategies For Data Abstraction

Auteurs

A. Loh; T. van der Storm; W. R. Cook

Détail

Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software 2012, Oct 2012, Tucson, United States. ACM, pp. 179 - 194

Accès au bibtex

Titre

Notation-Parametric Grammar Recovery

Auteurs

V. Zaytsev

Détail

Sloane, A. M. and Andova, S.. Pre-proceedings of the 12th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2012), Mar 2012, Talinn, Estonia. Institute of Cybernetics at Tallinn University of Technology, pp. 105 - 118

Accès au bibtex

Titre

BNF WAS HERE: What Have We Done About The Unnecessary Diversity Of Notation For Syntactic Definitions

Auteurs

V. Zaytsev

Détail

Mernik, M. and Bryant, B.. Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Riva del Garda, Italy. ACM, pp. 1910 - 1915

Accès au bibtex

Titre

Domain-Specific Optimization In Digital Forensics

Auteurs

J. van den Bos; T. van der Storm

Détail

Hu, Z. and de Lara, J.. Proceedings of the International Conference on Model Transformation (ICMT, 2012), Mar 2012, Prague, Czech Republic. Springer, 7307, pp. 121 - 136

Accès au bibtex

Titre

Comparison Of Context-Free Grammars Based On Parsing Generated Test Data

Auteurs

B. Fischer; R. Lämmel; V. Zaytsev

Détail

Aßmann, U. and Sloane, A. M.. Post-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Apr 2011, Braga, Portugal. Springer, Heidelberg, pp. 324 - 343, 2012

Accès au bibtex

Titre

Game Developers Need Lua AiR Static Analysis Of Lua Using Interface Models

Auteurs

P. Klint; L. Roosendaal; R. van Rozen

Détail

Malaka, R. and Masuch, R.. Proceedings of International Conference on Entertainment Computing 2012, Sep 2012, Bremen, Germany. Springer, pp. 530 - 535

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Questions About Voting Rules, With Some Answers

Auteurs

D. J. N. van Eijck; F. A. G. Sietsma

Détail

Baltag, A. and et al. Logic and Interactive Rationality: Yearbook 2011, ILLC, Amsterdam, 2012

Accès au bibtex

Titre

Perception And Change In Update Logic

Auteurs

Jan van Eijck

Détail

van Eijck, D. J. N. and Verbrugge, R.. Perception and Change in Update Logic, 7010, Springer, pp. 119 - 140, 2012, 978-3-642-29327-6

Accès au bibtex

Titre

Time Discounting And Time Consistency

Auteurs

N. Dimitri; D. J. N. van Eijck

Détail

van eijck, d. j. n.. Games, Actions and Social Software, 7010, Springer, pp. 29 - 38, 2012, 978-3-642-29327-6

Accès au bibtex

Titre

On The Logic Of Lying

Auteurs

H. van Ditmarsch; D. J. N. van Eijck; F. A. G. Sietsma

Détail

van Eijck, D. J. N. and Verbrugge, R.. Games, Actions and Social Software, 7010, Springer, pp. 41 - 72, 2012, 978-3-642-29327-6

Accès au bibtex

Titre

Streamlining Policy Creation In Policy Frameworks

Auteurs

M. A. Hills

Détail

Martì-Oliet, N. and Palomino, M.. WADT 2012 Preliminary Proceedings, Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Computación, pp. 61 - 63, 2012

Accès au bibtex

Ouvrages scientifiques

Titre

Games, Actions And Social Software

Auteurs

D. J. N. van Eijck; R. Verbrugge

Détail

7010. Springer, pp. 1, 2012, 978-3-642-29327-6

Accès au bibtex

Titre

Logic In Action

Auteurs

J. van Benthem; D. J. N. van Eijck; J. O. M. Jaspars; H. van Ditmarsch

Détail

Internet, pp. 1, 2012

Accès au bibtex

Rapports

Titre

Negotiated Grammar Transformation

Auteurs

V. Zaytsev

Détail

[Research Report], 2012, pp. 1 - 6. XM-

Accès au bibtex

Titre

Renarrating Linguistic Architecture: A Case Study

Auteurs

V. Zaytsev

Détail

[Research Report], 2012, pp. 1 - 6. MPM-6

Accès au bibtex

Titre

Guided Grammar Convergence. Full Case Study Report. Generated By Converge::Guided

Auteurs

V. Zaytsev

Détail

[Research Report], 2012, pp. 1 - 44. arXiv-abs/1207.6541

Accès au bibtex

Thèses

Titre

Logics of Communication and Knowledge

Auteurs

Floor Sietsma

Détail

Universiteit van Amsterdam, Dec. 2012. English

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Reasoning with Protocols under Imperfect Information

Auteurs

Eric Pacuit; Sunil Simon

Détail

The Review of Symbolic Logic, Cambridge Journals, 2011, 4 (3), pp. 412-444

Accès au bibtex

Titre

Redeneren over Communicatie

Auteurs

Jan van Eijck

Détail

Euclides, Nederlandse Vereniging van Wiskundeleraren, 2011, 86 (11)

Accès au bibtex

Titre

MediaWiki Grammar Recovery

Auteurs

Vadim Zaytsev

Détail

Computing Research Repository, ACM, 2011, abs/1107.4661, pp. 1-47

Accès au bibtex

Titre

Recovering Grammar Relationships for the Java Language Specification

Auteurs

Ralf Lämmel; Vadim Zaytsev

Détail

Software Quality Journal, Springer Netherlands, 2011, 19 (2), pp. 333-378

Accès au bibtex

Communications avec actes

Titre

The Rascal meta-programming language -- a lab for software analysis, transformation, generation & visualization

Auteurs

Jurgen Vinju; Mark Hills; Paul Klint; Atze Van Der Ploeg,; Anastasia Izmaylova; Tijs Van Der Storm

Détail

ICT.Open, Nov 2011, Veldhoven, Netherlands.

Accès au bibtex

Titre

Towards a One-Stop-Shop for Analysis, Trasnformation anf Visualization of Software, Proceedings Solftware Language Engineering

Auteurs

Bert Lisser; Paul Klint; Atze Van Der Ploeg,

Détail

Fourth International Conference on Software Language Engineering, Jul 2011, Braga, Portugal.

Accès au bibtex

Titre

Ambiguity Detection : Scaling to Scannerless

Auteurs

Bas Basten; Paul Klint; Jurgen Vinju

Détail

J. Saraiva and U. Assmann and A. Sloane. Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Jul 2011, Braga, Portugal. Springer, 6940 country = Portugal month = jul

Accès au bibtex

Titre

Parse Forest Diagnostics with Dr. Ambiguity

Auteurs

Bas Basten; Jurgen Vinju

Détail

J. Saraiva and U. Assmann and A. Sloane. Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Jul 2011, Braga, Portugal. 6940

Accès au bibtex

Titre

Reflections on Vote Manipulation

Auteurs

Jan van Eijck; Floor Sietsma; Simon S.

Détail

Hans P. van Ditmarsch and Jerome Lang and Shier Ju. Proceedings of LORI 2011, Oct 2011, Guangzhou, China. Springer, 6953, pp. 386-387

Accès au bibtex

Titre

A Case of Visitor versus Interpreter Pattern

Auteurs

Jurgen Vinju; Paul Klint; Mark Hills; Tijs Van Der Storm

Détail

Proceedings of the 49th International Conference on Objects, Models, Components and Patterns, Jun 2011, Zurich, Switzerland.

Accès au bibtex

Titre

Bringing Domain-Specific Languages to Digital Forensics

Auteurs

Tijs Van Der Storm; Jeroen Van Den Bos

Détail

Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, May 2011, Honolulu, United States. ACM, pp. 671-680

Accès au bibtex

Titre

Towards an Engineering Approach to File Carver Construction

Auteurs

Leon Aronson; Jeroen Van Den Bos

Détail

2011 IEEE 35th Annual Computer Software and Applications Conference Workshops (COMPSACW), Jul 2011, Munchen, Germany. IEEE, pp. 368-373

Accès au bibtex

Titre

Rascal: From Algebraic Specification to Meta-Programming

Auteurs

Paul Klint; Mark Hills; Jeroen Van Den Bos; Tijs Van Der Storm; Jurgen Vinju

Détail

Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE), Jul 2011, Zurich, Switzerland. pp. 15-32

Accès au bibtex

Titre

Rascal: Language Technology for Model-Driven Engineering

Auteurs

Jeroen Van Den Bos; Paul Griffioen; Tijs Van Der Storm

Détail

ICT.Open, Nov 2011, Veldhoven, Netherlands.

Accès au bibtex

Titre

RLSRunner: Linking Rascal with K for Program Analysis

Auteurs

Paul Klint; Jurgen Vinju; Mark Hills

Détail

Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Jul 2011, Braga, Portugal. Springer, 6940

Accès au bibtex

Titre

Message-Generated Kripke Semantics

Auteurs

Jan van Eijck; Floor Sietsma

Détail

Yolum and Tumer and Stone and Sonenberg. Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), May 2011, Taipei, Taiwan, Province Of China. pp. 1183-1184

Accès au bibtex

Titre

A Geometric Look at Manipulation

Auteurs

Jan van Eijck

Détail

Leite, J. et al.. CLIMA XII 2011, Jul 2011, Barcelona, Spain. Springer, 6814, pp. 92-104

Accès au bibtex

Titre

Message Passing in a Dynamic Epistemic Logic Setting

Auteurs

Jan van Eijck; Floor Sietsma

Détail

Apt, K.R.. TARK XIII: Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge, Jul 2011, New York, United States. ACM, pp. 212-220

Accès au bibtex

Titre

Comparison of Context-free Grammars Based on Parsing Generated Test Data

Auteurs

Bernd Fischer; Ralf Lämmel; Vadim Zaytsev

Détail

Uwe Aßmann and Anthony Sloane. Post-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Jul 2011, Braga, Portugal. Springer, Heidelberg, 6940

Accès au bibtex

Titre

Language Convergence Infrastructure

Auteurs

Vadim Zaytsev

Détail

João Miguel Fernandes and Ralf Lämmel and Joost Visser and João Saraiva. Post-proceedings of the Third International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), Jul 2009, Braga, Portugal. Springer-Verlag, 6491, pp. 481-497, 2011

Accès au bibtex

Titre

A Unified Format for Language Documents

Auteurs

Vadim Zaytsev; Ralf Lämmel

Détail

Brian Malloy and Steffen Staab and Mark G. J. van den Brand. Post-proceedings of the Third International Conference on Software Language Engineering (SLE 2010), Jul 2011, Braga, Portugal. Springer-Verlag, 6563, pp. 206-225

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Time discounting and time consistency

Auteurs

Nicola Dimitri; Jan van Eijck

Détail

Eijck, Jan van and Verbrugge, Rineke. Games, Actions, and Social Software, 7010, Springer Verlag, pp. 31-41, 2011

Accès au bibtex

Titre

Perception and Change in Update Logic

Auteurs

Jan van Eijck

Détail

Eijck, Jan van and Verbrugge, Rineke. Games, Actions, and Social Software, 7010, Springer Verlag, pp. 129-151, 2011

Accès au bibtex

Titre

Discourse Representation in Context

Auteurs

Jan van Eijck; Hans Kamp

Détail

Benthem, Johan van and Alice ter Meulen. Handbook of Logic and Language, Elsevier, 2011

Accès au bibtex

Ouvrages scientifiques

Titre

Logic in Action

Auteurs

Johan van Benthem; Jan van Eijck; Jan Jaspars; Hans Van Ditmarsch

Détail

Internet, pp. all, 2011

Accès au bibtex

Rapports

Titre

SDF Disambiguation Medkit for Programming Languages

Auteurs

Jurgen Vinju

Détail

[Research Report], 2011

Accès au bibtex

Titre

The Rascal Language Workbench

Auteurs

T. van der Storm

Détail

[Research Report], 2011, pp. 1 - 28

Accès au bibtex

Thèses

Titre

Ambiguity Detection for Programming Language Grammars

Auteurs

Bas Basten

Détail

Universiteit van Amsterdam, Dec. 2011. English

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Verifying one hundred prisoners and a lightbulb

Auteurs

Hans van Ditmarsch; Jan van Eijck; William Wu

Détail

Journal of Applied Non-Classical Logics, Hermes-science, 2010, pp. 173-191

Accès au bibtex

Titre

Automated generation of program translation and verification tools using annotated grammars

Auteurs

Diego Ordonez; Kim Mens; Mark Van Den Brand; Jurgen Vinju

Détail

Science of Computer Programming, Elsevier, 2010, 75 (1-2), pp. 3-20

Accès au bibtex

Titre

To know or not to know: epistemic approaches to security protocol verification

Auteurs

Francien Dechesne; Yanjing Wang

Détail

Synthese, Springer, 2010, pp. 1-26

Accès au bibtex

Titre

Verifying one hundred prisoners and a lightbulb

Auteurs

Hans van Ditmarsch; Jan van Eijck; William Wu

Détail

Journal of Applied Non-Classical Logics, Hermes-science, 2010

Accès au bibtex

Titre

The language of social software

Auteurs

Jan van Eijck

Détail

Synthese, Springer Netherlands, 2010, pp. 1-20

Accès au bibtex

Communications avec actes

Titre

Relational Meta-Modeling

Auteurs

Tijs Van Der Storm

Détail

Guido Boella and Erik Meijer and David J. Pearce and Friedrich Steimann and Frank Tip. Relationships, Objects, Roles, and Queries in Modern Programming Languages, Apr 2010, Leibniz, Germany. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Accès au bibtex

Titre

Faster Ambiguity Detection by Grammar Filtering

Auteurs

Bas Basten; Jurgen Vinju

Détail

Claus Brabrand and Pierre-Etienne Moreau. Proceedings of the tenth workshop on Language Descriptions Tools and Applications, Mar 2010, Paphos, Cyprus.

Accès au bibtex

Titre

Prototyping a tool environment for run-time assertion checking in JML with Communication Histories

Auteurs

Stijn de; Frank de; Jurgen Vinju

Détail

12th Workshop on Formal Techniques for Java-like Programs, Jul 2010, Maribor, Slovenia.

Accès au bibtex

Titre

On the Impact of DSL tools on the Maintainability of Language Implementations.

Auteurs

Paul Klint; Tijs Van Der Storm; Jurgen Vinju

Détail

Proceedings of the tenth workshop on Language Descriptions Tools and Applications, Mar 2010, Paphos, Cyprus.

Accès au bibtex

Titre

Mod4J: A Qualitative Case Study of Model-Driven Software Development

Auteurs

Vincent Lussenburg; Tijs Van Der Storm; Jurgen Vinju; Jos Warmer

Détail

Dorina Petriu and Nicolas Rouquette and Øystein Haugen. 13th International Conference on Model Driven Engineering Languages and Systems, Oct 2010, Oslo, Norway. Springer

Accès au bibtex

Titre

AmbiDexter: Practical Ambiguity Detection, Tool Demonstration

Auteurs

Bas Basten; Tijs Van Der Storm

Détail

Jurgen Vinju and Cristina Marinescu and Pascale Cuoq. Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'10), Sep 2010, Timisoara, Romania. IEEE

Accès au bibtex

Titre

Study of an API migration for two XML APIs

Auteurs

Thiago Tonelli; Krzysztof Czarnecki; Ralf Lämmel; Tijs Van Der Storm

Détail

Postproceedings of Software Language Engineering (SLE 2009), Oct 2010, Eindhoven, Netherlands. Springer

Accès au bibtex

Titre

Tracking Down the Origins of Ambiguity in Context-Free Grammars

Auteurs

Bas Basten

Détail

Cavalcanti, Ana and Deharbe, David and Gaudel, Marie-Claude and Woodcock, Jim. Seventh International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), Sep 2010, Natal, Brazil. Springer, 6255, pp. 76-90

Accès au bibtex

Titre

A Rewriting Logic Semantics Approach to Modular Program Analysis

Auteurs

Mark Hills; Grigore Rosu

Détail

RTA, Jul 2010, Edinburgh, United Kingdom. pp. 151-160

Accès au bibtex

Titre

Logic of information flow on communication channels

Auteurs

Yanjing Wang; Floor Sietsma; Jan van Eijck

Détail

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, May 2010, Toronto, Canada. International Foundation for Autonomous Agents and Multiagent Systems, pp. 1447-1448

Accès au bibtex

Titre

Composing Models

Auteurs

Yanjing Wang; Floor Sietsma; Jan van Eijck

Détail

9th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2010, Toulouse, France.

Accès au bibtex

Titre

On the Logic of Lying

Auteurs

Yanjing Wang; Jan van Eijck; Hans van Ditmarsch

Détail

International Workshop on Games, action and social software, Oct 2010, Leiden, Netherlands.

Accès au bibtex

Titre

One hunderd prisoners and a lightbulb --- logic and computation

Auteurs

Hans van Ditmarsch; Jan van Eijck; William Wu

Détail

F. Lin and U. Sattler. Proceedings of KR 2010, Jan 2010, Toronto, Canada. AAAI Press

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Discourse Representation in Context

Auteurs

Jan van Eijck; Hans Kamp

Détail

Benthem, Johan van and Alice ter Meulen. Handbook of Logic and Language, Elsevier, 2010

Accès au bibtex

Ouvrages scientifiques

Titre

Computational Semantics with Functional Programming

Auteurs

Jan van Eijck; Christina Unger

Détail

Cambridge University Press, pp. 1-419, 2010, 9780521760300

Accès au bibtex

Thèses

Titre

Epistemic Modelling and Protocol Dynamics

Auteurs

Wang Yanjing

Détail

Universiteit van Amsterdam, Sep. 2010. English

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Memory Representations in Rewriting Logic Semantics Definitions

Auteurs

Mark Hills; Hills Mark

Détail

Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 238 (3), pp. 155-172

Accès au bibtex

Communications avec actes

Titre

Automated Translation and Analysis of a ToolBus Script for Auctions

Auteurs

Wan Fokkink; Paul Klint; Bert Lisser; Yaroslav S.

Détail

Farhad Arbab and Marjan Sirjani. Fundamentals of Software Engineering, Third IPM International Con ference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Paper s, Oct 2010, Eindhoven, Netherlands. Springer, 5961, pp. 308-323, 2009

Accès au bibtex

Thèses

Titre

A MODULAR REWRITING APPROACH TO LANGUAGE DESIGN, EVOLUTION AND ANALYSIS

Auteurs

Mark Hills

Détail

University of Illinois at Urbana Champaign, Oct. 2009. English

Accès au texte intégral et bibtex