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… 
2006
2006
Calculational semantics: Deriving programming theories from equations by functional predicate calculus
The objects of programming semantics, namely, programs and languages, are inherently formal, but the derivation of semantic… 
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… 
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… 
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… 
Review
1989
Review
1989
Contrasting ecological implications of food limitation in sea urchins and herbivorous gastropods
Populations of sea urchins often fluctuate greatly in density. The density of sea urchins is usually inversely correlated with… 
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… 
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)