Rating: 3.64
|
Beautiful code
... VAUGHAN PRATT PRESENTED “TOP DOWN OPERATOR PRECEDENCE”* at the first annual Principles of Programming Languages Symposium ... the best properties of Recursive Descent and the Operator Precedence syntax technique of Robert W Floyd .
by Andrew Oram, Greg Wilson
 view
Buy
|
|
Future tendencies in computer science, control, and applied mathematics, International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
"A logic for object-oriented programming," Proc. Eighth ACM Symposium on Principles of Database Systems, pp. 379-393. Krishnamurthy, R., W. Litwin, and W . Kent [1991]. "Language features for interoperability of databases with schematic ...
by Alain Bensoussan, J.-P. Verjus
view
Buy
|
|
Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
KP Gostelow, and W. Plouffe, "Indeterminacy, Monitors and Dataflow". Proceedings ol the Sixth ACM Symposium on Operating Systems Principles, Operating Systems Review 11, 5(November 1977), 159-169. [3] Brock, JD, Formal Properties ot a ...
by J. Díaz, I. Ramos
view
Buy
|
|
Static analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
W. Charatonik, D. McAllester, D. Niwinski, A. Podelski, and I. Walukiewicz. The Horn mu-calculus. In V. Pratt, editor, Proceedings of ... In T. Reps, editor, Proceedings of POPL'OO: Principles of Programming Languages, pages 1-11.
by Jens Palsberg
view
Buy
|
|
Theoretical aspects of computing - ICTAC 2008, 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 ; proceedings
Gaifman and Pratt have presented a semantics based on partially ordered multisets (pomsets) [6]. ... III, pp. 1–168. Clarendon Press (1994) 3. Brock, J. , Ackerman, W.: Formalization of Programming Concepts.
by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
view
Buy
|
|
Conference record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, papers presented at the Symposium, Paris, France, 15-17 January 1997
Any other principal typing (' satisfies ( w t', and hence ( ~ t' , by minimality of t. ... Thanks also to Jerzy Tiuryn for helpful comments on [31], to Vaughan Pratt for helpful comments on [27] and to my referees and Sergei Soloviev ...
by Association for Computing Machinery, ACM Special Interest Group for Algorithms and Computation Theory
view
Buy
|
|
Logic for Programming, Artificial Intelligence, and Reasoning, 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Charatonik, W., Georgieva, L., Maier, P.: Bounded model checking of pointer programs. In: Ong, L. (ed.) ... In: POPL 2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 171–182 .
by Christian G. Fermüller
view
Buy
|
|
CONCUR 2005 -- concurrency theory, 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings
443–478. 10. VR Pratt (1991): Modeling concurrency with geometry. In Proc. 18th Ann. ACM Symposium on Principles of Programming Languages, pp. 311–322. 11. G. Winskel (1987): Event structures. In W. Brauer, W. Reisig & G. Rozenberg, ...
by Martín Abadi, Luca De Alfaro
view
Buy
|
|
Conference record of the Fifth Annual ACM Symposium on Principles of Programming Languages, papers presented at the Symposium, Tucson, Arizona, January 23-25, 1978
But only finitely many distinct stales may appear in the first coordinate of W since JH0] false. ... IFIP conf. on Formal Specifications of Programming Constructs. St. Andrews, Canada. Aug. 1971. [33 Basu, SK and RT Yeh.
by ACM Special Interest Group for Automata and Computability Theory, ACM Special Interest Group on Programming Languages
view
Buy
|
|
CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings
10th Annual ACM Symp. on Principles of Programming Languages, Austin, 117-126, 1063. ... [GKP02]: Golta, U., Kuiper, R., Peacock, W., Propositional Temporal Logics and Equivalences, deliverables of Esprit-BRA project 3006, 1002.
by Walter Rance Cleaveland
view
Buy
| |
|