×

zbMATH — the first resource for mathematics

Reynolds, John Charles

Compute Distance To:
Author ID: reynolds.john-c Recent zbMATH articles by "Reynolds, John Charles"
Published as: Reynolds, J.; Reynolds, J. C.; Reynolds, John; Reynolds, John C.
External Links: MGP · Wikidata · dblp
Documents Indexed: 31 Publications since 1969, including 5 Books
Biographic References: 5 Publications

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 384 times in 318 Documents Cited by Year
Towards a theory of type structure. Zbl 0309.68016
Reynolds, John C.
58
1974
Local reasoning about programs that alter data structures. Zbl 0999.68045
O’Hearn, Peter; Reynolds, John; Yang, Hongseok
52
2001
Transformational systems and the algebraic structure of atomic formulas. Zbl 0219.68044
Reynolds, J. C.
38
1969
Definitional interpreters for higher-order programming languages. Zbl 0934.68034
Reynolds, John C.
27
1998
Polymorphism is not set-theoretic. Zbl 0554.03012
Reynolds, John C.
26
1984
The craft of programming. Zbl 0476.68010
Reynolds, John C.
25
1981
Separation and information hiding. Zbl 1325.68069
O’Hearn, Peter W.; Yang, Hongseok; Reynolds, John C.
19
2004
Theories of programming languages. Zbl 0972.68507
Reynolds, John C.
19
1998
GEDANKEN - A simple typeless language based on the principle of completeness and the reference concept. Zbl 0193.15101
Reynolds, J. C.
16
1970
On the relation between direct and continuation semantics. Zbl 0313.68023
Reynolds, John C.
15
1974
From Algol to polymorphic linear lambda-calculus. Zbl 1094.68535
O’Hearn, Peter W.; Reynolds, John C.
11
2000
Definitional interpreters revisited. Zbl 0934.68033
Reynolds, John C.
11
1998
Automatic computation of data set definitions. Zbl 0191.18102
Reynolds, J. C.
11
1969
Local reasoning about a copying garbage collector. Zbl 1325.68041
Birkedal, Lars; Torp-Smith, Noah; Reynolds, John C.
8
2004
Toward a grainless semantics for shared-variable concurrency. Zbl 1117.68449
Reynolds, John C.
8
2004
On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004
Reynolds, John C.; Plotkin, Gordon D.
8
1993
Three approaches to type structure. Zbl 0563.68004
Reynolds, John C.
6
1985
Reasoning about arrays. Zbl 0394.68009
Reynolds, John C.
6
1979
Syntactic control of interference for separation logic. Zbl 1321.68131
Reddy, Uday S.; Reynolds, John C.
4
2012
Semantics of the domain of flow diagrams. Zbl 0358.68019
Reynolds, John C.
4
1977
Using category theory to design implicit conversions and generic operators. Zbl 0836.68064
Reynolds, John C.
3
1994
Algebraic methods in semantics. (Seminar on ’The Application of Algebra to Language Definition and Compilation’, held in Fontainebleau, France, June 1982). Zbl 0568.00021
Nivat, Maurice (ed.); Reynolds, John C. (ed.)
3
1985
User-defined types and procedural data structures as complementary approaches to data abstraction. Zbl 0395.68021
Reynolds, John C.
2
1978
Theories of programming languages. Reprint of the 1998 hardback ed. Zbl 1184.68157
Reynolds, John C.
1
2009
Programming with transition diagrams. Zbl 0395.68016
Reynolds, John C.
1
1978
On the interpretation of Scott’s domains. Zbl 0318.68024
Reynolds, John C.
1
1975
A generalized resolution principle based upon context-free grammars. Zbl 0211.31503
Reynolds, John C.
1
1969
Syntactic control of interference for separation logic. Zbl 1321.68131
Reddy, Uday S.; Reynolds, John C.
4
2012
Theories of programming languages. Reprint of the 1998 hardback ed. Zbl 1184.68157
Reynolds, John C.
1
2009
Separation and information hiding. Zbl 1325.68069
O’Hearn, Peter W.; Yang, Hongseok; Reynolds, John C.
19
2004
Local reasoning about a copying garbage collector. Zbl 1325.68041
Birkedal, Lars; Torp-Smith, Noah; Reynolds, John C.
8
2004
Toward a grainless semantics for shared-variable concurrency. Zbl 1117.68449
Reynolds, John C.
8
2004
Local reasoning about programs that alter data structures. Zbl 0999.68045
O’Hearn, Peter; Reynolds, John; Yang, Hongseok
52
2001
From Algol to polymorphic linear lambda-calculus. Zbl 1094.68535
O’Hearn, Peter W.; Reynolds, John C.
11
2000
Definitional interpreters for higher-order programming languages. Zbl 0934.68034
Reynolds, John C.
27
1998
Theories of programming languages. Zbl 0972.68507
Reynolds, John C.
19
1998
Definitional interpreters revisited. Zbl 0934.68033
Reynolds, John C.
11
1998
Using category theory to design implicit conversions and generic operators. Zbl 0836.68064
Reynolds, John C.
3
1994
On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004
Reynolds, John C.; Plotkin, Gordon D.
8
1993
Three approaches to type structure. Zbl 0563.68004
Reynolds, John C.
6
1985
Algebraic methods in semantics. (Seminar on ’The Application of Algebra to Language Definition and Compilation’, held in Fontainebleau, France, June 1982). Zbl 0568.00021
Nivat, Maurice (ed.); Reynolds, John C. (ed.)
3
1985
Polymorphism is not set-theoretic. Zbl 0554.03012
Reynolds, John C.
26
1984
The craft of programming. Zbl 0476.68010
Reynolds, John C.
25
1981
Reasoning about arrays. Zbl 0394.68009
Reynolds, John C.
6
1979
User-defined types and procedural data structures as complementary approaches to data abstraction. Zbl 0395.68021
Reynolds, John C.
2
1978
Programming with transition diagrams. Zbl 0395.68016
Reynolds, John C.
1
1978
Semantics of the domain of flow diagrams. Zbl 0358.68019
Reynolds, John C.
4
1977
On the interpretation of Scott’s domains. Zbl 0318.68024
Reynolds, John C.
1
1975
Towards a theory of type structure. Zbl 0309.68016
Reynolds, John C.
58
1974
On the relation between direct and continuation semantics. Zbl 0313.68023
Reynolds, John C.
15
1974
GEDANKEN - A simple typeless language based on the principle of completeness and the reference concept. Zbl 0193.15101
Reynolds, J. C.
16
1970
Transformational systems and the algebraic structure of atomic formulas. Zbl 0219.68044
Reynolds, J. C.
38
1969
Automatic computation of data set definitions. Zbl 0191.18102
Reynolds, J. C.
11
1969
A generalized resolution principle based upon context-free grammars. Zbl 0211.31503
Reynolds, John C.
1
1969
all top 5

Cited by 488 Authors

13 Danvy, Olivier
9 Tennent, Robert D.
6 Birkedal, Lars
6 O’Hearn, Peter W.
5 Brookes, Stephen D.
5 Meseguer Guaita, José
4 Coquand, Thierry
4 Ghelli, Giorgio
4 Hermida, Claudio
4 Millikin, Kevin
4 Møgelberg, Rasmus Ejlers
4 Qin, Shengchao
3 Aït-Kaci, Hassan
3 Alpuente, María
3 Berry, Daniel M.
3 Escobar, Santiago
3 Gardner, Philippa Anne
3 Harper, Robert
3 Johann, Patricia
3 Kutsia, Temur
3 Longo, Giuseppe
3 Margaria, Ines
3 Midtgaard, Jan
3 Naumann, David A.
3 Nielsen, Lasse R.
3 Plotkin, Gordon D.
3 Reddy, Uday S.
3 Tiuryn, Jerzy
3 Voigtlander, Janis
2 Abramsky, Samson
2 Ager, Mads Sig
2 Arkoudas, Konstantine
2 Back, Ralph-Johan
2 Baumgartner, Alexander
2 Bengtson, Jesper
2 Bornat, Richard
2 Bruce, Kim B.
2 Burstall, Rod M.
2 Calcagno, Cristiano
2 Cardelli, Luca
2 Charatonik, Witold
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Colvin, Robert J.
2 Curien, Pierre-Louis
2 Dong, Yuan
2 Dougherty, Daniel J.
2 Feng, Xinyu
2 Fujita, Ken-etsu
2 Gardiner, Paul H. B.
2 Genet, Thomas
2 Ghica, Dan R.
2 Goguen, Joseph Amadee
2 Hagiya, Masami
2 Harland, David M.
2 Hoare, C. A. R. Tony
2 Huet, Gerard P.
2 Jagannathan, Suresh
2 Jones, Cliff B.
2 Kfoury, Assaf J.
2 Klev, Ansten Mørch
2 Kozen, Dexter C.
2 Levy, Jordi
2 Luo, Chenguang
2 Matthes, Ralph
2 Milner, Robin
2 Miné, Antoine
2 Mitchell, John C.
2 Morrisett, Greg
2 Nanevski, Aleksandar
2 Nepomnyashchy, V. A.
2 Nielson, Flemming
2 Ojeda, Pedro
2 Pichardie, David
2 Popescu, Andrei
2 Robinson, Edmund P.
2 Roşu, Grigore
2 Schmidt, David A.
2 Schubert, Aleksy
2 Scott, Philip J.
2 Shan, Chung-chieh
2 Shao, Zhong
2 Simpson, Alex K.
2 Sorkin, Anastasia
2 Tatsuta, Makoto
2 Vardi, Moshe Y.
2 Villaret, Mateu
2 Wadler, Philip Lee
2 Wand, Mitchell
2 Wu, Zhilin
2 Yang, Hongseok
2 Zacchi, Maddalena
1 Abal, Iago
1 Adámek, Jiří
1 Aehlig, Klaus
1 Agamirzyan, I. R.
1 Ah-kee, Alain
1 Amadio, Roberto M.
1 Amin, Nada
1 Amjad, Hasan
...and 388 more Authors
all top 5

Cited in 50 Serials

87 Theoretical Computer Science
39 Information and Computation
13 Journal of Automated Reasoning
11 Information Processing Letters
10 Formal Aspects of Computing
9 Journal of Symbolic Computation
7 Annals of Pure and Applied Logic
7 The Journal of Logic and Algebraic Programming
5 Acta Informatica
5 Journal of Functional Programming
5 Higher-Order and Symbolic Computation
4 Artificial Intelligence
4 Journal of Computer and System Sciences
4 New Generation Computing
4 Journal of Logical and Algebraic Methods in Programming
3 Journal of Pure and Applied Algebra
3 RAIRO, Informatique Théorique
3 Science of Computer Programming
3 Formal Methods in System Design
3 Annals of Mathematics and Artificial Intelligence
2 International Journal of Computer & Information Sciences
2 Journal of Soviet Mathematics
2 Software. Practice & Experience
2 RAIRO. Theoretical Informatics and Applications
2 Logical Methods in Computer Science
1 Computers and Fluids
1 Periodica Mathematica Hungarica
1 Fuzzy Sets and Systems
1 Topology and its Applications
1 History and Philosophy of Logic
1 Journal of Computer Science and Technology
1 International Journal of Parallel Programming
1 MSCS. Mathematical Structures in Computer Science
1 Discrete Event Dynamic Systems
1 European Journal of Operational Research
1 International Journal of Computer Mathematics
1 RAIRO. Informatique Théorique et Applications
1 Archive for Mathematical Logic
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Journal of Logic, Language and Information
1 Diagrammes
1 The Bulletin of Symbolic Logic
1 Theory and Practice of Logic Programming
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 Journal of Nonlinear Science and Applications
1 The Review of Symbolic Logic
1 Science China. Information Sciences
1 Frontiers of Computer Science
1 Computer Science Review

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.