POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CPS-transformation after strictness analysis
ACM Letters on Programming Languages and Systems (LOPLAS)
Algebraic reasoning and completeness in typed languages
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Operational semantics-directed compilers and machine architectures
ACM Transactions on Programming Languages and Systems (TOPLAS)
LISA: a tool for automatic language implementation
ACM SIGPLAN Notices
Paradigms and laboratories in the core computer science curriculum: an overview
ACM SIGCSE Bulletin
Programming language semantics
ACM Computing Surveys (CSUR)
Structural operational semantics as a basis for static program analysis
ACM Computing Surveys (CSUR)
Enhanced operational semantics
ACM Computing Surveys (CSUR)
Strategic directions in research on programming languages
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Programming languages for mobile code
ACM Computing Surveys (CSUR)
Data flow analysis is model checking of abstract interpretations
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proper tail recursion and space efficiency
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Ownership types for flexible alias protection
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
ACM Computing Surveys (CSUR)
Operational methods in theoretical computer science
ACM Computing Surveys (CSUR)
A model for comparing the space usage of lazy evaluators
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Specifying and Automatically Generating a Specialization Tool for Fortran 90
Automated Software Engineering
Exploring the Software Development Trilogy
IEEE Software
On the Translation of Procedures to Finite Machines
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A Framework for the Detection and Resolution of Aspect Interactions
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Static Analysis for Secrecy and Non-interference in Networks of Processes
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Automatic derivation of path and loop annotations in object-oriented real-time programs
Engineering of distributed control systems
A computational formalization for partial evaluation
Mathematical Structures in Computer Science
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
Using Hammock Graphs to Structure Programs
IEEE Transactions on Software Engineering
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Verifier-tuple for audio-forensic to determine speaker environment
MM&Sec '05 Proceedings of the 7th workshop on Multimedia and security
Programming language semantics
Encyclopedia of 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
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
Towards A Truly Concurrent Model for Processes Sharing Resources
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Code Analysis for Temporal Predictability
Real-Time Systems
Static validation of security protocols
Journal of Computer Security
Implementing fault-tolerance in real-time systems by automatic program transformations
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Higher-Order and Symbolic Computation
On the computational soundness of cryptographically masked flows
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Topology in PVS: continuous mathematics with applications
Proceedings of the second workshop on Automated formal methods
Implementing fault-tolerance in real-time programs by automatic program transformations
ACM Transactions on Embedded Computing Systems (TECS)
Fixed point semantics and partial recursion in Coq
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Pervasive Compiler Verification -- From Verified Programs to Verified Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Science of Computer Programming
Defunctionalized interpreters for programming languages
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Towards a Worldwide Verification Technology
Verified Software: Theories, Tools, Experiments
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA
Implementation and Application of Functional Languages
Inter-deriving Semantic Artifacts for Object-Oriented Programming
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Generative and Transformational Techniques in Software Engineering II
Model Checking Recursive Programs with Exact Predicate Abstraction
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Converting an imperative program to a declarative one
Knowledge-Based Systems
Handling encryption in an analysis for secure information flow
ESOP'03 Proceedings of the 12th European conference on Programming
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
On the architecture of system verification environments
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Application of dependency graphs to security protocol analysis
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Inter-deriving semantic artifacts for object-oriented programming
Journal of Computer and System Sciences
Automatic generation of model traversals from metamodel definitions
Proceedings of the 48th Annual Southeast Regional Conference
An effective methodology for defining consistent semantics of complex systems
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
A memory model for static analysis of C programs
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Abstract syntax driven language development: defining language semantics through aspects
Proceedings of the International Workshop on Formalization of Modeling Languages
Design and implementation of domain-specific language easytime
Computer Languages, Systems and Structures
An executable and testable semantics for iTasks
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Towards Effects in Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards more precise typing rules for Xcerpt
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
CMS'05 Proceedings of the 9th IFIP TC-6 TC-11 international conference on Communications and Multimedia Security
Science of Computer Programming
Structural operational semantics of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
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
Information flow analysis for VHDL
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Semantic fusion for biometric user authentication as multimodal signal processing
MRCS'06 Proceedings of the 2006 international conference on Multimedia Content Representation, Classification and Security
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A hoare logic for the coinductive trace-based big-step semantics of while
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
A universal calculus for stream processing languages
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
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
Teaching semantics of programming languages with modular SOS
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
The laws of programming unify process calculi
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Handcrafted inversions made operational on operational semantics
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
A construction of sound semantic linguistic scales using 4-tuple representation of term semantics
International Journal of Approximate Reasoning
DESIGN SPACE ANALYSIS IN MODEL-DRIVEN ENGINEERING
Journal of Integrated Design & Process Science
Hi-index | 0.00 |