Polymorphic type inference and abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming language semantics
ACM Computing Surveys (CSUR)
A natural semantics for Eiffel dynamic binding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Partial-evaluation techniques for concurrent programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Relational parametricity and units of measure
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Experience with an analytic approach to teaching programming languages
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
A formal approach to the teaching of programming language concepts
ACM SIGPLAN Notices
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
ACM Computing Surveys (CSUR)
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
The Journal of Supercomputing
Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93
Formal Methods in System Design
Compositionality in the puzzle of semantics
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
The strength of non-size increasing computation
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving correctness of compiler optimizations by temporal logic
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An indexed model of recursive types for foundational proof-carrying code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards scott domains-based topological ontology models
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Nonmonotonic consequences in default domain theory
Annals of Mathematics and Artificial Intelligence
Dynamic Query-Based Debugging of Object-Oriented Programs
Automated Software Engineering
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
A foundation for embedded languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Semantics and Implementation of a Generalized forall Statement for Parallel Languages
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Formal Verification and Hardware Design with Statecharts
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Proposal for a Formal OCL Semantics in Isabelle/HOL
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Type-Theoretic Functional Semantics
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Adequacy for Algebraic Effects
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
A First-Order One-Pass CPS Transformation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Hoare Logic for Mutual Recursion and Local Variables
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Security Typings by Abstract Interpretation
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Normalization and Partial Evaluation
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Query Language for a Metadata Framework about Mathematical Resources
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
An equational notion of lifting monad
Theoretical Computer Science - Category theory and computer science
Eliminating dead code on recursive data
Science of Computer Programming - Special issue on static analysis (SAS'99)
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
An Algebraic Theory of Process Efficiency
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Games and Full Abstraction for FPC
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Complete Axioms for Categorical Fixed-Point Operators
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Formal semantics and analysis of object queries
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming
A Formal Approach to Model SNMP Network Management Systems
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A functional correspondence between evaluators and abstract machines
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Class analyses as abstract interpretations of trace semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Non-Standard Semantics for Program Slicing
Higher-Order and Symbolic Computation
Secure mechanical verification of mutually recursive procedures
Information and Computation
Simple relational correctness proofs for static analyses and program transformations
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract non-interference: parameterizing non-interference by abstract interpretation
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A first-order one-pass CPS transformation
Theoretical Computer Science
Full abstraction, totality and PCF
Mathematical Structures in Computer Science
Program equivalence in a linear functional language
Journal of Functional Programming
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
Journal of Functional Programming
The expressive power of higher-order types or, life without CONS
Journal of Functional Programming
Journal of Functional Programming
Journal of Functional Programming
Foundations for Programming Languages by John C. Mitchell, MIT Press, 1996.
Journal of Functional Programming
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Compiler Optimization Correctness by Temporal Logic
Higher-Order and Symbolic Computation
Transformations of logic programs with goals as arguments
Theory and Practice of Logic Programming
Theoretical Computer Science - Logic, semantics and theory of programming
A compositional logic for polymorphic higher-order functions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Relating models of backtracking
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Transformation by interpreter specialisation
Science of Computer Programming - Special issue on program transformation
Metrics for finite Markov decision processes
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Theoretical Computer Science
Noninterference through flow analysis
Journal of Functional Programming
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modelling general recursion in type theory
Mathematical Structures in Computer Science
Dealing with I/O Devices in the Context of Pervasive System Verification
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
On an open problem of Amadio and Curien: the finite antichain condition
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Enforcing robust declassification and qualified robustness
Journal of Computer Security - Special issue on CSFW17
ICODE: enabling the static checking of programs and their documentation
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
A causality interface for deadlock analysis in dataflow
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Call-by-push-value: Decomposing call-by-value and call-by-name
Higher-Order and Symbolic Computation
Deriving escape analysis by abstract interpretation
Higher-Order and Symbolic Computation
Assessing security threats of looping constructs
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An efficient subscription routing algorithm for scalable XML-based publish/subscribe systems
Journal of Systems and Software
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Integration of declarative and constraint programming
Theory and Practice of Logic Programming
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
On the relations between monadic semantics
Theoretical Computer Science
Rule-Based Operational Semantics for an Imperative Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Organizing electronic services into security taxonomies
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
Understanding Programming Languages
Minds and Machines
Bouncer: securing software by blocking bad input
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
An Operational Semantics for Shared Messaging Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Optimality and condensing of information flow through linear refinement
Theoretical Computer Science
The complexity of fixed point models of trust in distributed networks
Theoretical Computer Science
Data dependencies and program slicing: from syntax to abstract semantics
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
Information Processing Letters
The pitfalls of verifying floating-point computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token-passing Nets for Functional Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional information flow security for concurrent programs
Journal of Computer Security
Fixed point semantics and partial recursion in Coq
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Defunctionalized interpreters for programming languages
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Educational game design for online education
Computers in Human Behavior
Towards a Worldwide Verification Technology
Verified Software: Theories, Tools, Experiments
Characterizing Programming Systems Allowing Program Self-reference
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Parallelism Increases Iterative Learning Power
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
Trust '08 Proceedings of the 1st international conference on Trusted Computing and Trust in Information Technologies: Trusted Computing - Challenges and Applications
The Semantics of Ugo Montanari
Concurrency, Graphs and Models
Extensible Universes for Object-Oriented Data Models
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Efficient software model checking of soundness of type systems
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Vigilante: End-to-end containment of Internet worm epidemics
ACM Transactions on Computer Systems (TOCS)
CPO semantics of timed interactive actor networks
Theoretical Computer Science
A model of cooperative threads
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Extensible Encoding of Object-oriented Data Models in hol
Journal of Automated Reasoning
A temporal language for SystemC
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Parallelism increases iterative learning power
Theoretical Computer Science
A weakest precondition approach to active attacks analysis
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Assume-Guarantee Verification of Concurrent Systems
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
System Model-Based Definition of Modeling Language Semantics
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Automated Analysis of Java Methods for Confidentiality
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Relational Semantics Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Biorthogonality, step-indexing and compiler correctness
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Theoretical Computer Science
Perspectives on Transactional Memory
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Operator component matrix model for IMP program diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Equivalence relations in fully and partially observable Markov decision processes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Quantifying information flow with beliefs
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Planning and verifying service composition
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Certifiable Specification and Verification of C Programs
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Integrating the Semantics of Deterministic Multi-layered Communication Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Continuity analysis of programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Type-Safe Embedding of XDuce into ML
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
On an open problem of Amadio and Curien: The finite antichain condition
Information and Computation
On formalization of object model by unifying intensional and extensional representations
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Security for multithreaded programs under cooperative scheduling
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Observational equivalence and program extraction in the Coq proof assistant
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Using theory morphisms for implementing formal methods tools
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Tagging, encoding, and jones optimality
ESOP'03 Proceedings of the 12th European conference on Programming
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Formal proof of provable security by game-playing in a proof assistant
ProvSec'07 Proceedings of the 1st international conference on Provable security
Closing internal timing channels by transformation
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
On the representation of imperative programs in a logical framework
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Formal semantics of DRMA-style programming in BSPlib
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
On the architecture of system verification environments
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
A compositional trace semantics for Orc
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
A monad-based modeling and verification toolbox with application to security protocols
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Non-termination checking for imperative programs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
A hybrid denotational semantics for hybrid systems
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Foundations of security analysis and design IV
Secure Service Composition with Symbolic Effects
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Risk assessment of security threats for looping constructs
Journal of Computer Security - Security Issues in Concurrency (SecCo'07)
Semantics for structured systems modelling and simulation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
A more precise security type system for dynamic security tests
PLAS '10 Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
Some reasons for generalising domain theory
Mathematical Structures in Computer Science
Realisability semantics of parametric polymorphism, general references and recursive types
Mathematical Structures in Computer Science
Dependence condition graph for semantics-based abstract program slicing
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Information theory and security: quantitative information flow
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
Automatic verification of control system implementations
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Regular expression containment: coinductive axiomatization and computational interpretation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Metamodelling: state of the art and research challenges
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Modular plans for secure service composition
ARSPA-WITS'10 Proceedings of the 2010 joint conference on Automated reasoning for security protocol analysis and issues in the theory of security
Model-to-metamodel transformation for the development of component-based systems
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Adding change impact analysis to the formal verification of C programs
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
An improved decision procedure for propositional projection temporal logic
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Unifying facets of information integrity
ICISS'10 Proceedings of the 6th international conference on Information systems security
Secure service orchestration in open networks
Journal of Systems Architecture: the EUROMICRO Journal
A weakest precondition approach to robustness
Transactions on computational science X
A core language for executable models of cyber physical systems: work in progress report
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Dynamics for ML using Meta-Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Reuse by placement: a paradigm for cross-domain software reuse with high level of granularity
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Programming with infinitesimals: a WHILE-language for hybrid system modeling
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Magic-sets for localised analysis of Java bytecode
Higher-Order and Symbolic Computation
Static livelock analysis in CSP
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Static analysis of string manipulations in critical embedded c programs
SAS'06 Proceedings of the 13th international conference on Static Analysis
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Workflow pattern analysis in web services orchestration: the BPEL4WS example
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Science of Computer Programming
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
A role-based approach towards modular language engineering
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Task partitioning for multi-core network processors
CC'05 Proceedings of the 14th international conference on Compiler Construction
Modelling declassification policies using abstract domain completeness
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Unwinding conditions for security in imperative languages
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
From natural semantics to abstract machines
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
On the correctness of operating system kernels
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Detecting non-cyclicity by abstract compilation into boolean functions
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Tactic-based optimized compilation of functional programs
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Bridging language-based and process calculi security
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Pair-sharing analysis of object-oriented programs
SAS'05 Proceedings of the 12th international conference on Static Analysis
Information flow is linear refinement of constancy
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Capabilities for information flow
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security
Interactive testing with HOL-TestGen
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Defining object-oriented execution semantics using graph transformations
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Functional programming in sublinear space
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Automating security mediation placement
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Faulty logic: reasoning about fault tolerant programs
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
SGL: towards a bridging model for heterogeneous hierarchical platforms
International Journal of High Performance Computing and Networking
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Teaching semantics with a proof assistant: no more LSD trip proofs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
A simple algorithm specification language and its application
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Teaching semantics of programming languages with modular SOS
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Scalable and precise dynamic datarace detection for structured parallelism
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Verification conditions for source-level imperative programs
Computer Science Review
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM Journal on Computing
Capsules and closures: a small-step approach
Logic and Program Semantics
Properties Complementary to Program Self-Reference
Fundamenta Informaticae
Exercises in nonstandard static analysis of hybrid systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Scoped synchronization constraints for large scale actor systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Typed tagless final interpreters
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Simple Adequate Categorical Model for PCF, II
Fundamenta Informaticae
Synthesis of minimal-error control software
Proceedings of the tenth ACM international conference on Embedded software
Checking reachability using matching logic
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Optimal abstraction on real-valued programs
SAS'07 Proceedings of the 14th international conference on Static Analysis
Magic-sets transformation for the analysis of java bytecode
SAS'07 Proceedings of the 14th international conference on Static Analysis
Reversible machine code and its abstract processor architecture
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Properties complementary to program self-reference
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
A low-overhead, value-tracking approach to information flow security
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Left recursion in parsing expression grammars
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
An equational approach to secure multi-party computation
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Fixing idioms: a recursion primitive for applicative DSLs
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
HALO: haskell to logic through denotational semantics
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Language constructs for non-well-founded computation
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Formal semantics and expressiveness of a web service composition language
Proceedings of the 28th Annual ACM Symposium on Applied Computing
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Modular reasoning about heap paths via effectively propositional formulas
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Combining proofs and programs in a dependently typed language
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Some fixed-point issues in PPTL
Theories of Programming and Formal Methods
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.01 |