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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
can be used in i m p l e m e n t i n g a re l iab le c o m p u t e r sys tem. W e imag ine t h a t severa l d iv is ions of the B… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University of Technology and ORNA GRUMBERG Technion, Haifa… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1997
1997
view of our impossibility result it might also be of interest to study the impact of the amount of locality information in the… (More)
Is this relevant?
1991
1991
Copyright and moral rights for this work are retained by the author A copy can be downloaded for personal non-commercial research… (More)
Is this relevant?
1989
1989
Computational reflection makes it easy to solve problems that are otherwise difficult to address in Smalltalk-80, such as the… (More)
  • figure 1
Is this relevant?
Highly Cited
1989
Highly Cited
1988
Highly Cited
1988
Action systems provide a method to program distributed systems that emphasizes the overall behavior of the system. System… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1987
Highly Cited
1987
When a complex system is to be realized as a combination of interacting components, development of those components should… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1982
Highly Cited
1982
A technique for solving synchronization problems in distributed programs is described. Use of this technique in environments in… (More)
Is this relevant?