Skip to search formSkip to main contentSkip to account menu

ACM Transactions on Programming Languages and Systems

Known as: ACM Trans. on Program. Lang. and Systems, ACM Trans. on Program. Lang. and Sys., Association for Computing Machinery Transactions on Programming Languages and Systems 
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
ESOPFormal specificationGarbage collection (computer science)IEEE 754-1985

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
The effect of cytokinins on growth and sexual organ development in the gametophyte of Blechnum spicant L.
In this study, we report the role of exogenous and endogenous cytokinins on growth and sexual organ development in the fern… 
1995
1995
'Mysticism' in the Gospel of John : an inquiry into the background of John in Jewish mysticism.
No detailed study of Johannine mysticism against a Palestinian Jewish background has been previously undertaken. This study… 
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of… 
Highly Cited
1995
Highly Cited
1995
Local and temporal predicates in distributed systems
The definitions of the predicates Possibly &fgr; and Definitely &fgr;, where &fgr; is a global predicate of a distributed… 
1991
1991
Modular grammars for programming language prototyping
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
1989
1989
Deriving a protocol converter: a top-down method
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some… 
1988
1988
Systems semantics: principles, applications, and implementation
Systems semantics extends the denotational semantics of programming languages to a semantics for the description of arbitrary… 
1986
1986
Proving systolic systems correct
A language for describing communicating systems is described. It is sufficiently expressive to describe both the desired behavior… 
Highly Cited
1983
Highly Cited
1983
X-ray absorption edge and EXAFS spectroscopic studies of molybdenum ions in aqueous solution
X-ray absorption edge and extended x-ray absorption fine structures (EXAFS) spectra have been measured for acidic-aqueous… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)