Alan Schmitt
Alan Schmitt
Inria, IRISA
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
JN Foster, MB Greenwald, JT Moore, BC Pierce, A Schmitt
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (3), 17-es, 2007
5912007
Boomerang: resourceful lenses for string data
A Bohannon, JN Foster, BC Pierce, A Pilkiewicz, A Schmitt
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
1932008
Efficient static analysis of XML paths and types
P Geneves, N Layaïda, A Schmitt
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
1362007
The kell calculus: A family of higher-order distributed process calculi
A Schmitt, JB Stefani
International Workshop on Global Computing, 146-178, 2004
1222004
The M-calculus: A higher-order distributed process calculus
A Schmitt, JB Stefani
ACM SIGPLAN Notices 38 (1), 50-61, 2003
1042003
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
ACM SIGPLAN Notices 49 (1), 87-100, 2014
942014
An asynchronous, distributed implementation of mobile ambients
C Fournet, JJ Lévy, A Schmitt
IFIP International Conference on Theoretical Computer Science, 348-364, 2000
852000
JoCaml: A language for concurrent distributed and mobile programming
C Fournet, F Le Fessant, L Maranget, A Schmitt
International School on Advanced Functional Programming, 129-158, 2002
842002
On the expressiveness and decidability of higher-order process calculi
I Lanese, JA Pérez, D Sangiorgi, A Schmitt
Information and Computation 209 (2), 198-226, 2011
742011
Controlling reversibility in higher-order pi
I Lanese, CA Mezzina, A Schmitt, JB Stefani
International Conference on Concurrency Theory, 297-311, 2011
652011
Exploiting schemas in data synchronization
JN Foster, MB Greenwald, C Kirkegaard, BC Pierce, A Schmitt
Journal of Computer and System Sciences 73 (4), 669-689, 2007
512007
The Xtatic experience
V Gapeyev, MY Levin, BC Pierce, A Schmitt
Technical Reports (CIS), 25, 2004
372004
A language for bi-directional tree transformations
MB Greenwald, JT Moore, BC Pierce, A Schmitt
Pat 333, 4444, 2003
352003
Concurrent flexible reversibility
I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani
European Symposium on Programming, 370-390, 2013
312013
On the expressiveness of polyadic and synchronous communication in higher-order process calculi
I Lanese, JA Pérez, D Sangiorgi, A Schmitt
International Colloquium on Automata, Languages, and Programming, 442-453, 2010
302010
XML Goes Native: Run-Time Representations for Xtatic
V Gapeyev, MY Levin, BC Pierce, A Schmitt
International Conference on Compiler Construction, 43-58, 2005
262005
Bringing Harmony to optimism: A synchronization framework for heterogeneous tree-structured data
BC Pierce, A Schmitt, MB Greenwald
Technical Report MS-CIS-03-42, University of Pennsylvania, 2003
262003
Normal bisimulations in calculi with passivation
S Lenglet, A Schmitt, JB Stefani
International Conference on Foundations of Software Science and …, 2009
252009
Oz/k: A kernel language for component-based open programming
M Lienhardt, A Schmitt, JB Stefani
Proceedings of the 6th international conference on Generative programming …, 2007
252007
Dream types: a domain specific type system for component-based message-oriented middleware
P Bidinger, M Leclercq, V Quéma, A Schmitt, JB Stefani
Proceedings of the 2005 conference on Specification and verification of …, 2005
252005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20