BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
18 × USA
Collaborated with:
∅ D.Harel H.Gaifman A.R.Meyer M.O.Rabin L.J.Stockmeyer H.Devarajan D.J.D.Hughes G.D.Plotkin M.Blum R.W.Floyd R.L.Rivest R.E.Tarjan
Talks about:
logic (6) program (5) comput (4) parallel (2) mathemat (2) process (2) concurr (2) complet (2) linear (2) queue (2)

Person: Vaughan R. Pratt

DBLP DBLP: Pratt:Vaughan_R=

Contributed to:

LICS 19991999
LICS 19951995
LICS 19921992
POPL 19911991
LICS 19871987
POPL 19831983
POPL 19821982
POPL 19811981
POPL 19801980
STOC 19801980
POPL 19791979
POPL 19781978
STOC 19781978
POPL 19771977
STOC 19771977
STOC 19741974
POPL 19731973
STOC 19731973
STOC 19721972
TAPSOFT CAAP/FASE 19951995

Wrote 22 papers:

LICS-1999-DevarajanHPP #linear #logic #multi
Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
LICS-1995-Pratt #coordination
The Stone Gamut: A Coordinatization of Mathematics (VRP), pp. 444–454.
LICS-1992-Pratt #calculus
Origins of the Calculus of Binary Relations (VRP), pp. 248–254.
POPL-1991-Pratt #concurrent #geometry #modelling
Modeling Concurrency with Geometry (VRP), pp. 311–322.
LICS-1987-GaifmanP #concurrent #modelling #partial order
Partial Order Models of Concurrency and the Computation of Functions (HG, VRP), pp. 72–85.
POPL-1983-Pratt #data flow #design #paradigm #programming
Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment (VRP), pp. 1–9.
POPL-1982-Pratt #composition #on the #process
On the Composition of Processes (VRP), pp. 213–223.
POPL-1981-Pratt #decidability #logic
Program Logic Without Binding is Decidable (VRP), pp. 159–163.
POPL-1980-Pratt #on the #specification #verification
On Specifying Verifiers (VRP), pp. 106–116.
STOC-1980-Pratt #algebra #induction
Dynamic Algebras and the Nature of Induction (VRP), pp. 22–28.
POPL-1979-Pratt #logic #process
Process Logic (VRP), pp. 93–100.
POPL-1978-HarelP #logic #nondeterminism #source code
Nondeterminism in Logics of Programs (DH, VRP), pp. 203–213.
STOC-1978-Pratt #logic
A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report (VRP), pp. 326–337.
POPL-1977-Pratt #performance #programming
The Competence/Performance Dichotomy in Programming (VRP), pp. 194–200.
STOC-1977-HarelMP #logic #source code
Computability and Completeness in Logics of Programs (DH, ARM, VRP), pp. 261–268.
STOC-1974-Pratt #matrix #multi #power of
The Power of Negative Thinking in Multiplying Boolean Matrices (VRP), pp. 80–83.
STOC-1974-PrattRS #power of
A Characterization of the Power of Vector Machines (VRP, MOR, LJS), pp. 122–134.
POPL-1973-Pratt #precedence #top-down
Top Down Operator Precedence (VRP), pp. 41–51.
STOC-1973-Pratt #parallel #permutation
Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues (VRP), pp. 268–277.
STOC-1972-BlumFPRT #bound #linear
Linear Time Bounds for Median Computations (MB, RWF, VRP, RLR, RET), pp. 119–124.
TAPSOFT-1995-Pratt #debugging
Anatomy of the Pentium Bug (VRP), pp. 97–107.
TAPSOFT-1995-Pratt95a
Rational Mechanisms and Natural Mathematics (VRP), pp. 108–122.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.