Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Rémi Forax"'
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, 2012, 77 (9), pp.990-1005
Science of Computer Programming, Elsevier, 2012, 77 (9), pp.990-1005
This paper presents how the Tatoo parser generator enables the implementation of Java high-performance servers using the Banzai generic server shell. The performance of these servers relies on the ability of Tatoo to produce push non-blocking parsers
Publikováno v:
Computer Science and Information Systems
Computer Science and Information Systems, ComSIS Consortium, 2007, 4 (2), pp.65-77
Computer Science and Information Systems, ComSIS Consortium, 2007, 4 (2), pp.65-77
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusable libraries of grammars such as those of arithmetic expressions or of
Publikováno v:
JTRES
To improve and simplify the implementation of dynamically typed languages on top of the Java virtual machine, Java 7 introduced a new instructions set as well as a new API specified by the JSR 292 [2]. Android, the Google operating system for embedde
Publikováno v:
JTRES
Android OS uses for its applicative part a Java-based virtual machine called Dalvik. Java 7 introduces a new instructions set as well as a new API specified by the JSR 292 [11] in order to improve and simplify the implementation of non-Java languages
Publikováno v:
CTRQ: Communication Theory, Reliability, and Quality of Service
CTRQ: Communication Theory, Reliability, and Quality of Service, Jun 2010, Athènes, Greece. pp.255-260, ⟨10.1109/CTRQ.2010.50⟩
Third International Conference on Communication Theory, Reliability, and Quality of Service, June 13-19, 2010, Athens
CTRQ: Communication Theory, Reliability, and Quality of Service, Jun 2010, Athènes, Greece. pp.255-260, ⟨10.1109/CTRQ.2010.50⟩
Third International Conference on Communication Theory, Reliability, and Quality of Service, June 13-19, 2010, Athens
International audience; In this work, we consider that the modeling of complex domains can be performed using Domain Specific Languages (DSL). The main principle of this approach consists in developing DSL primitives and to assemble them to model a c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00ad6c3883132187310f8e909885c2a0
https://hal-upec-upem.archives-ouvertes.fr/hal-00794336
https://hal-upec-upem.archives-ouvertes.fr/hal-00794336
Publikováno v:
Computer Science and Information Systems
Computer Science and Information Systems, ComSIS Consortium, 2010, 7 (2), pp.309--329. ⟨10.2298/CSIS1002309C⟩
Computer Science and Information Systems, ComSIS Consortium, 2010, 7 (2), pp.309--329. ⟨10.2298/CSIS1002309C⟩
International audience; Grammar metrics have been introduced to measure the quality and the complexity of the formal grammars. The aim of this paper is to explore the meaning of these notions and to experiment, on several grammars of domain specific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a44eae4d257bb80089ee4543df294474
https://hal.archives-ouvertes.fr/hal-01208373/file/ComSIS_229-0911.pdf
https://hal.archives-ouvertes.fr/hal-01208373/file/ComSIS_229-0911.pdf
Publikováno v:
2nd Workshop on Advances in Programming Languages (WAPL'09)
2nd Workshop on Advances in Programming Languages (WAPL'09), Oct 2009, United States. pp.651-658
IMCSIT
2nd Workshop on Advances in Programming Languages (WAPL'09), Oct 2009, United States. pp.651-658
IMCSIT
International audience; Grammar metrics have been introduced to measure the quality and the complexity of the formal grammars. The aim of this paper is to explore the meaning of these notions and to experiment, on several grammars of domain specific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ce6fbfbb7c24948a8951b14abbb4bc7
https://hal.archives-ouvertes.fr/hal-00620318
https://hal.archives-ouvertes.fr/hal-00620318
Publikováno v:
PPPJ
This paper presents Saburo, a Java toolkit that generates, from a single Java specification, Java Internet server implementations, together with their formal model that can be automatically checked using the model checker SPIN. This approach ensures
Publikováno v:
4th International Conference on Principles and Practices of Programming in Java (PPPJ'06)
4th International Conference on Principles and Practices of Programming in Java (PPPJ'06), Aug 2006, Mannheim, Germany. pp.13-20
PPPJ
4th International Conference on Principles and Practices of Programming in Java (PPPJ'06), Aug 2006, Mannheim, Germany. pp.13-20
PPPJ
This paper presents Tatoo, a new parser generator. This tool, written in Java 1.5, produces lexer and bottom-up parsers. Its design has been driven by three main concerns: the ability to use the parser with the non-blocking IO API; the possibility to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f12efb2575adc95e6490f25f0cb4a78e
https://hal-upec-upem.archives-ouvertes.fr/hal-00620176
https://hal-upec-upem.archives-ouvertes.fr/hal-00620176
Publikováno v:
The Journal of Object Technology
The Journal of Object Technology, Chair of Software Engineering, 2005, 4 (10), pp.49-69. ⟨10.5381/jot.2005.4.10.a3⟩
SAC
The Journal of Object Technology, Chair of Software Engineering, 2005, 4 (10), pp.49-69. ⟨10.5381/jot.2005.4.10.a3⟩
SAC
International audience; Reflection-based libraries may be used to extend the expressive power of Java without modifying the language nor the virtual machine. In this paper, we present the advantages of this approach together with general guidelines
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b38fc39c8233d5a7d567b24667fd4d5d
https://hal.archives-ouvertes.fr/hal-00619694/file/article3.pdf
https://hal.archives-ouvertes.fr/hal-00619694/file/article3.pdf