Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Boyland, John Tang
55  Ergebnisse:
Personensuche X
?
1

Constraint Semantics for Abstract Read Permissions:

, In: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
Boyland, John Tang ; Müller, Peter ; Schwerhoff, Malte. - p. 1-6 , 2014
Link: https://dl.acm.org/doi/1..
 
?
2

19th international workshop on foundations of object-orient..:

, In: Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity,
Siek, Jeremy G. ; Aldrich, Jonathan ; Boyland, John Tang - p. 233-234 , 2012
Link: https://dl.acm.org/doi/1..
 
?
3

Preface:

Boyland, John Tang ; Castagna, Giuseppe
Theoretical Computer Science.  411 (2010)  51-52 - p. 4357 , 2010
Link: https://doi.org/10.1016/..
 
?
4

Semantics of fractional permissions with nesting:

Boyland, John Tang
ACM Transactions on Programming Languages and Systems.  32 (2010)  6 - p. 1-33 , 2010
Link: https://doi.org/10.1145/..
 
?
5

Preface:

Johnstone, Adrian ; Sloane, Anthony ; Boyland, John Tang
Science of Computer Programming.  75 (2010)  1-2 - p. 1-2 , 2010
Link: https://doi.org/10.1016/..
 
?
6

Semantics of fractional permissions with nesting:

Boyland, John Tang
ACM Transactions on Programming Languages and Systems (TOPLAS).  32 (2010)  6 - p. 1-33 , 2010
Link: https://dl.acm.org/doi/1..
 
?
7

Preface:

Hedin, Görel ; Boyland, John Tang
Science of Computer Programming.  68 (2007)  2 - p. 63 , 2007
Link: https://doi.org/10.1016/..
 
?
8

Remote attribute grammars:

Boyland, John Tang
Journal of the ACM (JACM).  52 (2005)  4 - p. 627-687 , 2005
Link: https://dl.acm.org/doi/1..
 
?
9

Remote attribute grammars:

Boyland, John Tang
Journal of the ACM.  52 (2005)  4 - p. 627-687 , 2005
Link: https://doi.org/10.1145/..
 
?
10

Connecting effects and uniqueness with adoption:

, In: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Boyland, John Tang ; Retert, William - p. 283-295 , 2005
Link: https://dl.acm.org/doi/1..
 
?
11

Connecting effects and uniqueness with adoption:

Boyland, John Tang ; Retert, William
ACM SIGPLAN Notices.  40 (2005)  1 - p. 283-295 , 2005
Link: https://doi.org/10.1145/..
 
?
12

Incremental Evaluators for Remote Attribute Grammars:

Boyland, John Tang
Electronic Notes in Theoretical Computer Science.  65 (2002)  3 - p. 9-29 , 2002
Link: https://doi.org/10.1016/..
 
?
13

Conditional attribute grammars:

Boyland, John Tang
ACM Transactions on Programming Languages and Systems (TOPLAS).  18 (1996)  1 - p. 73-108 , 1996
Link: https://dl.acm.org/doi/1..
 
?
14

Conditional attribute grammars:

Boyland, John Tang
ACM Transactions on Programming Languages and Systems.  18 (1996)  1 - p. 73-108 , 1996
Link: https://doi.org/10.1145/..
 
?
15

Evolution of SASyLF 2008-2021:

Boyland, John Tang
http://arxiv.org/abs/2202.03568.  , 2022
Link: http://arxiv.org/abs/220..
 
1-15