Concepedia

John Boyland

JB

Statistics

Publications

21

Citations

989

H-Index

15

Active since

1994

Affiliations

University of Wisconsin–Milwaukee(Current)

Carnegie Mellon University

University of California, Berkeley

Centre National de la Recherche Scientifique

École Normale Supérieure - PSL

John Boyland is an author at University of Wisconsin–Milwaukee specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringSoftware AnalysisComputer ScienceProgram AnalysisSoftware EngineeringFormal MethodsSoftware DesignFormal VerificationSystem SoftwareAutomated Reasoning

Publications per year

1994–2015

21

Publications

21

Alias burying: Unique variables without destructive reads

John Boyland · Software Practice and Experience · 2001 · 177 citations

Engineering, Software Systems, Data Preparation +19

Refined Criteria for Gradual Typing

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 119 citations · Full text

Engineering, Type Theory, Software Engineering +19

Capabilities for Sharing -- A Generalisation of Uniqueness and Read-Only

John Boyland, James Noble, William Retert · 2001 · 117 citations

Connecting effects and uniqueness with adoption

John Boyland, William Retert · 2005 · 72 citations

Engineering, Consumer Research, Technology Adoption +24

Remote attribute grammars

John Boyland · Journal of the ACM · 2005 · 70 citations

Remote Attribute Grammars, Engineering, Software Systems +23

1–5 of 21