article · Theoretical Computer Science · 1991
Static semantics, types, and binding time analysis
Cited by 12Abstract and details only
Abstract
The index has no abstract for this paper. The publisher’s page may have one.
Cite this paper
Jones, N. D. (1991). Static semantics, types, and binding time analysis. Theoretical Computer Science, 90(1), 95–118. https://doi.org/10.1016/0304-3975(91)90301-h
Jones, Neil D. “Static semantics, types, and binding time analysis.” Theoretical Computer Science, vol. 90, no. 1, 1991, pp. 95–118, https://doi.org/10.1016/0304-3975(91)90301-h.
Jones, Neil D. 1991. “Static semantics, types, and binding time analysis.” Theoretical Computer Science 90 (1): 95–118. https://doi.org/10.1016/0304-3975(91)90301-h.
Jones, N.D. (1991) ‘Static semantics, types, and binding time analysis’, Theoretical Computer Science, 90(1), pp. 95–118. Available at: https://doi.org/10.1016/0304-3975(91)90301-h.
@article{jones1991static,
title = {{Static semantics, types, and binding time analysis}},
author = {Jones, Neil D.},
journal = {Theoretical Computer Science},
volume = {90},
number = {1},
pages = {95--118},
year = {1991},
doi = {10.1016/0304-3975(91)90301-h}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.
Related papers
An animatable operational semantics of the Verilog hardware description language
Jonathan Peter Bowen, He Jifeng, Qiwen Xu · International Conference on Formal Engineering Methods · 2002
Cited by 22
Rapid prototyping of programming language semantics using Prolog
Barrett R. Bryant, Aiqin Pan · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 2003
Cited by 9
RAPID PROTOTYPING OF PROGRAMMING LANGUAGE SEMANTICS
B.R. Bryant, Aiqin Pan · 1989
Cited by 0
An operational semantics for Scheme
John D. Ramsdell · ACM SIGPLAN Lisp Pointers · 1992
Cited by 17Open access
Algebraic operational semantics and modula-2
Yuri G. Gurevich, James M. Morris · Lecture notes in computer science · 1988
Cited by 28
Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel/distributed Systems.
Amala VijayaSelvi Rajan, Arumugam Siri Bavan, Geetha Abeysinghe · SCSS · 2009
Cited by 0
Modular Rewriting Semantics of Programming Languages
José Meseguer B, Christiano de Oliveira Braga · Lecture notes in computer science · 2004
Cited by 56