ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Towards fully abstract semantics for local variables
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Floyd-Hoare logic in iteration theories
Journal of the ACM (JACM)
ACM SIGPLAN Notices
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Proving the correctness of storage representations
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Structured APL: a proposal for block structured control flow in APL
APL '93 Proceedings of the international conference on APL
Deriving programs using generic algorithms
IBM Systems Journal
Parametricity and local variables
Journal of the ACM (JACM)
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Abstract types have existential types
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraints: a uniform approach to aliasing and typing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Teaching principles of computer programming
CSC '87 Proceedings of the 15th annual conference on Computer Science
From Algol to polymorphic linear lambda-calculus
Journal of the ACM (JACM)
Making the connection: programming with animated small world
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Towards a Formalism to Produce a Programmer Assistant CASE Tool
IEEE Transactions on Knowledge and Data Engineering
Constructive Data Refinement in Typed Lambda Calculus
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The semantics of local storage, or what makes the free-list free?(Preliminary Report)
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the scope of static checking in definitional languages
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
The regular-language semantics of second-order idealized ALGOL
Theoretical Computer Science
Reasoning about recursive procedures with parameters
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Variance analyses from invariance analyses
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical Computer Science
Theoretical Computer Science
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Towards a logical account of declassification
Proceedings of the 2007 workshop on Programming languages and analysis for security
Local reasoning about a copying garbage collector
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Reasoning in Object-Oriented Programming
Verified Software: Theories, Tools, Experiments
Compositional Predicate Abstraction from Game Semantics
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Monoidal Indeterminates and Categories of Possible Worlds
Electronic Notes in Theoretical Computer Science (ENTCS)
Achieving information flow security through monadic control of effects
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Abstraction barrier-observing relational parametricity
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Elimination of ghost variables in program logics
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
BI hyperdoctrines and higher-order separation logic
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
From coupling relations to mated invariants for checking information flow
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Proof abstraction for imperative languages
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Monoidal indeterminates and categories of possible worlds
Theoretical Computer Science
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
Journal of the ACM (JACM)
Local Reasoning for Global Invariants, Part I: Region Logic
Journal of the ACM (JACM)
Dependent Type Theory for Verification of Information Flow and Access Control Policies
ACM Transactions on Programming Languages and Systems (TOPLAS)
On construction of a library of formally verified low-level arithmetic functions
Innovations in Systems and Software Engineering
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |