output
20092026
most citedPolynomial Size Analysis of First-Order Shapely Functions

40 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2011Show all

3 papers · 1 filter

cs.LO2011★ 1 cited

Formal verification of a deadlock detection algorithm

Freek Verbeek, Julien Schmaltz

Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with w…

cs.LO2011★ 1 cited

Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications

David Hardin, Julien Schmaltz

This volume contains the proceedings of ACL2 2011, the International Workshop on the ACL2 Theorem Prover and its Applications. The workshop was held in Austin, Texas, USA, on Novem…

cs.LO2011★ 4 cited

Formal Component-Based Semantics

Ken Madlener, Sjaak Smetsers, Marko van Eekelen

One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that t…