Alan Schmitt
Alan Schmitt
Inria, IRISA
Dirección de correo verificada de inria.fr - Página principal
TítuloCitado porAñ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, 2007
5412007
Boomerang: resourceful lenses for string data
A Bohannon, JN Foster, BC Pierce, A Pilkiewicz, A Schmitt
ACM SIGPLAN Notices 43 (1), 407-419, 2008
1822008
Efficient static analysis of XML paths and types
P Geneves, N Layaïda, A Schmitt
Acm Sigplan Notices 42 (6), 342-351, 2007
1282007
The kell calculus: A family of higher-order distributed process calculi
A Schmitt, JB Stefani
International Workshop on Global Computing, 146-178, 2004
1212004
The M-calculus: A higher-order distributed process calculus
A Schmitt, JB Stefani
ACM SIGPLAN Notices 38 (1), 50-61, 2003
1012003
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
ACM SIGPLAN Notices 49 (1), 87-100, 2014
912014
An asynchronous, distributed implementation of mobile ambients
C Fournet, JJ Lévy, A Schmitt
IFIP International Conference on Theoretical Computer Science, 348-364, 2000
862000
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
832002
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
722011
Controlling reversibility in higher-order pi
I Lanese, CA Mezzina, A Schmitt, JB Stefani
International Conference on Concurrency Theory, 297-311, 2011
542011
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
532007
A language for bi-directional tree transformations
MB Greenwald, JT Moore, BC Pierce, A Schmitt
Pat 333, 4444, 2003
372003
The Xtatic experience
V Gapeyev, MY Levin, BC Pierce, A Schmitt
Technical Reports (CIS), 25, 2004
362004
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
282003
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
272010
Concurrent flexible reversibility
I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani
European Symposium on Programming, 370-390, 2013
262013
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
XML Goes Native: Run-Time Representations for Xtatic
V Gapeyev, MY Levin, BC Pierce, A Schmitt
International Conference on Compiler Construction, 43-58, 2005
252005
Normal bisimulations in calculi with passivation
S Lenglet, A Schmitt, JB Stefani
International Conference on Foundations of Software Science and …, 2009
242009
An abstract machine for the kell calculus
P Bidinger, A Schmitt, JB Stefani
International Conference on Formal Methods for Open Object-Based Distributed …, 2005
242005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20