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… 
2008
2008
Evidence for Importance of tRNA-Dependent Cytokinin Biosynthetic Pathway in the Moss Physcomitrella patens
To study cytokinin biosynthesis, we characterized a temperature-sensitive cytokinin-overproducing mutant, oveST25, of the moss… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
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… 
1995
1995
Weak behavioral subtyping for types with mutable objects
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… 
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)