The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fips: a functional-imperative language for explorative programming
ACM SIGPLAN Notices
A concurrent, generational garbage collector for a multithreaded implementation of ML
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
A type system for prototyping languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Implementation of the typed call-by-value λ-calculus using a stack of regions
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Cache performance of garbage-collected programs
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Structuring depth-first search algorithms in Haskell
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Numerical analysis using nonprocedural paradigms
ACM Transactions on Mathematical Software (TOMS)
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Purely functional random-access lists
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Functional programming languages
ACM Computing Surveys (CSUR)
Environmental acquisition: a new inheritance-like abstraction mechanism
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal verification of PowerPC arrays using symbolic trajectory evaluation
DAC '96 Proceedings of the 33rd annual Design Automation Conference
WSC '93 Proceedings of the 25th conference on Winter simulation
A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Interprocedural control flow analysis of first-order programs with tail-call optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Practical Methodology for the Formal Verification of RISC Processors
Formal Methods in System Design
Optimizing Queries with Object Updates
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Operating system based software generation for systems-on-chip
Proceedings of the 37th Annual Design Automation Conference
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
A generic operator over discrete time intervals
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
From program languages to software languages
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
Tuple types and multiple return values
C/C++ Users Journal
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
A mechanized theory of the &pi-calculus in Hol
Nordic Journal of Computing
Dynamic inheritance in a statically typed language
Nordic Journal of Computing
Extensions to the Estimation Calculus
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Institution Independent Static Analysis for CASL
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Verifying Architectural Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
An Axiomatic Basis for Reasoning about Trust in PKIs
ACISP '01 Proceedings of the 6th Australasian Conference on Information Security and Privacy
Logical Foundations for Reasoning about Trust in Secure Digital Communication
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
ParTS: A Partitioning Transformation System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Formally Linking MDG and HOL Based on a Verified MDG System
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Verifying Enterprise 's Mandatory Access Control Policies with Coloured Petri Nets
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Proceedings of the 2004 ACM symposium on Applied computing
Journal of Functional Programming
A functional description of TEX's formula layout
Journal of Functional Programming
A new method for functional arrays
Journal of Functional Programming
Journal of Functional Programming
The Knowledge Engineering Review
Adding polymorphic tuples and lists to the syntax of Java
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Journal of Functional Programming
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
Journal of Functional Programming
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
Type sharing constraints and undecidability
Journal of Functional Programming
Providing a formal linkage between MDG and HOL
Formal Methods in System Design
A few exercises in theorem processing
Theoretical Computer Science
Fast, automatic checking of security protocols
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
SPINET: A Parallel Computing Approach to Spine Simulations
Scientific Programming - Parallel Computing Projects of the Swiss Priority Programme
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Fast type reconstruction for dynamically typed programming languages
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and Verification of Data Flow in UML 2.0 Activities
Electronic Notes in Theoretical Computer Science (ENTCS)
Decidability of bounded higher-order unification
Journal of Symbolic Computation
Analysing properties of the resource reservation protocol
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
A survey of automated deduction
Artificial intelligence today
Evaluating possibilities for formally sound simulation and verification of VHDL
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Multiway decision graphs reduction approach based on the HOL theorem prover
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Non-null references by default in java: alleviating the nullity annotation burden
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
| Hi-index | 0.00 |