Modeling execution architecture of software system using colored Petri nets
Proceedings of the 1st international workshop on Software and performance
Compiling standard ML to Java bytecodes
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Reusable Ada libraries supporting infinite data structures
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Reliable and efficient matrix processing with the specification-consistent coordination model
Proceedings of the 1999 ACM symposium on Applied computing
Architectural modeling in industry—an experience report
Proceedings of the 20th international conference on Software engineering
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification-consistent coordination model for computations
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Concurrent Exception Handling and Resolution in Distributed Object Systems
IEEE Transactions on Parallel and Distributed Systems
Journal of Automated Reasoning
A Model-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
Nordic Journal of Computing
Infinite pretty-printing in eXene
Trends in functional programming
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Checking Amalgamability Conditions for C ASL Architectural Specifications
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Programs, Proofs and Parametrized Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Query Rewriting and Search in CROQUE
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
A Methodology for Large-Scale Hardware Verification
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Functional Design Using Behavioural and Structural Components
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
The Head Condition and Polymorphic Recursion
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Another Look at Nested Recursion
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Divider Circuit Verification with Model Checking and Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Proof Engineering in the Large: Formal Verification of Pentium® 4 Floating-Point Divider
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
CL '00 Proceedings of the First International Conference on Computational Logic
Cycle therapy: a prescription for fold and unfold on regular trees
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Demonstrating lambda calculus reduction
The essence of computation
Perfect trees and bit-reversal permutations
Journal of Functional Programming
Generating web-based systems from specifications
Proceedings of the 2004 ACM symposium on Applied computing
Inductive graphs and functional graph algorithms
Journal of Functional Programming
de Bruijn notation as a nested datatype
Journal of Functional Programming
ML for the Working Programmer (2nd edition) by L. C. Paulson, Cambridge University Press, 1996.
Journal of Functional Programming
Three algorithms on Braun trees
Journal of Functional Programming
Escape from Zurg: an exercise in logic programming
Journal of Functional Programming
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
FUNCTIONAL PEARL Pickler combinators
Journal of Functional Programming
Organizing Numerical Theories Using Axiomatic Type Classes
Journal of Automated Reasoning
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
User-configurable automatic shader simplification
ACM SIGGRAPH 2005 Papers
Encyclopedia of Computer Science
Prufrock: a framework for constructing polytypic theorem provers
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
Nordic Journal of Computing
Design patterns as higher-order datatype-generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Performance analysis using CPN tools
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Dynamic design and evaluation of software architecture in critical systems development
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Formalization of the Standard Uniform random variable
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Science of Computer Programming
Specifying Strategies for Exercises
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
The genuine sieve of eratosthenes
Journal of Functional Programming
An infrastructure for experience centered agile prototyping of ambient intelligence
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Supporting ArcAngel in ProofPower
Electronic Notes in Theoretical Computer Science (ENTCS)
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A formal calculus for informal equality with binding
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Intel® Core™i7 processor execution engine validation in a functional language based formal framework
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
Theoretical Computer Science
Exploring structural symmetry automatically in symbolic trajectory evaluation
Formal Methods in System Design
A note on the genuine sieve of eratosthenes
Journal of Functional Programming
Towards a certified and efficient computing of gröbner bases
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Formal verification of pentium ® 4 components with symbolic simulation and inductive invariants
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Automated termination analysis for programs with second-order recursion
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal probabilistic analysis of cyber-physical transportation systems
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Formal verification of cyber-physical systems: coping with continuous elements
ICCSA'13 Proceedings of the 13th international conference on Computational Science and Its Applications - Volume 1
Proof Pearl--A Mechanized Proof of GHC's Mergesort
Journal of Automated Reasoning
Hi-index | 0.00 |