John Plaice
Title
Cited by
Cited by
Year
LUSTRE: A declarative language for real-time programming
P Caspi, D Pilaud, N Halbwachs, JA Plaice
Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of …, 1987
1092*1987
Finite transition systems: Semantics of communicating systems
A Arnold, J Plaice
Prentice Hall International (UK) Ltd., 1994
6121994
A new approach to version control
J Plaice, WW Wadge
IEEE transactions on Software Engineering 19 (3), 268-276, 1993
1191993
Computation as logic
R Lalement
Masson, 1993
491993
Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages: Papers Presented at the Symposium; San Diego, California January 13-15, 1988
Symposium on Principles of Programming Languages (15, 1988, San Diego, Calif.)
ACM Press, 1988
471988
Sémantique et compilation de LUSTRE, un langage à flux de données temps-réel
JA Plaice
Grenoble INP, 1988
33*1988
Problems of computing on the Web
S Ben Lamine, J Plaice, P Kropf
High Performance Computing Symposium, 296-301, 1997
291997
Introduction to intensional programming
J Plaice, J Paquet
Intensional Programming I, 1-14, 1996
261996
Multilingual typesetting with Ω, a case study: Arabic
Y Haralambous, J Plaice
221997
The LUSTRE-ESTEREL portable format
JA Plaice, JB Saint
Unpublished report, INRIA, Sophia Antipolis, 1987
221987
Sequential demand-driven evaluation of eager TransLucid
J Plaice, B Mancilla, G Ditu, WW Wadge
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
212008
First Applications of Ω: Greek, Arabic, Khmer, Poetica, ISO 10646/Unicode, etc.
Y Haralambous, J Plaice
TUGboat 15 (3), 334-352, 1994
21*1994
A non-standard temporal deductive database system
J Plaice, JR Gagné
Journal of Symbolic Computation 22 (5), 649-664, 1997
20*1997
A multithreaded implementation for TransLucid
T Rahilly, J Plaice
COMPSAC, 1272-1277, 2008
192008
From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
J Plaice, B Mancilla, G Ditu
Mathematics in Computer Science 2 (1), 37-61, 2008
182008
Towards a WEB operating system
P Kropf, J Plaice, H Unger
Webnet’97, 1-2, 1997
181997
Computer science is an experimental science
J Plaice
ACM Computing Surveys (CSUR) 27 (1), 33, 1995
181995
Une extension de TeX incluant Unicode et des filtres du type Lex
Y Haralambous, J Plaice
Cahiers GUTenberg, 69-70, 1991
18*1991
The latest developments in
J Plaice, Y Haralambous
TUGboat 17 (2), 181-183, 1996
161996
Building intensional communities using shared contexts
J Plaice, P Swoboda, A Alammar
International Workshop on Distributed Communities on the Web, 55-64, 2000
142000
The system can't perform the operation now. Try again later.
Articles 1–20