Multilingual programming: Coordinating programs, user interfaces, on-line help and documentation
SIGDOC '85 Proceedings of the 4th annual international conference on Systems documentation
Visual specification of blocks in programming languages
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Experience in teaching communication software using Berkeley Unix
ACM SIGCSE Bulletin
Changes and extensions in the C family of languages
ACM SIGCSE Bulletin
A translator from small euclid to pascal
ACM SIGPLAN Notices
Shift-reduce conflicts in LR parsers
ACM SIGPLAN Notices
A philosophy for scientific computing tools
ACM SIGNUM Newsletter
Performance and Architectural Issues for String Matching
IEEE Transactions on Computers
Predictive deadline multi-processing
ACM SIGOPS Operating Systems Review
ACM SIGPLAN Fortran Forum
A C programming model for OS/2 device drivers
IBM Systems Journal
Availability of f2c—a Fortran to C converter
ACM SIGPLAN Fortran Forum
Object-oriented programming in C++
ACM SIGCSE Bulletin
ACM SIGPLAN Notices
A retargetable compiler for ANSI C
ACM SIGPLAN Notices
OASIS: a programming environment for implementing distributed organizational support systems
COCS '91 Proceedings of the conference on Organizational computing systems
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Integration of parallel computation into introductory computer science
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
The parallel C (pC) programming language
IBM Journal of Research and Development
Teaching C with UNIX for college credit to professional programmers
ACM SIGCSE Bulletin
A pragmatic set operation and its implementation in C
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
No assembly required: compiling standard ML to C
ACM Letters on Programming Languages and Systems (LOPLAS)
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A methodology for implementing highly concurrent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unreachable procedures in object-oriented programming
ACM Letters on Programming Languages and Systems (LOPLAS)
Applying object-oriented design to finite element programming
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
An improved inspection technique
Communications of the ACM
Ada and C: differences as the language for system programming
ACM SIGAda Ada Letters
A simple implementation technique for mixin inheritance
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Structured APL: a proposal for block structured control flow in APL
APL '93 Proceedings of the international conference on APL
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Conducting a successful simulation project
WSC '92 Proceedings of the 24th conference on Winter simulation
Performance assertion checking
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
RE2C: a more versatile scanner generator
ACM Letters on Programming Languages and Systems (LOPLAS)
Extending context-free grammars with permutation phrases
ACM Letters on Programming Languages and Systems (LOPLAS)
The detection of dangling references in C++ programs
ACM Letters on Programming Languages and Systems (LOPLAS)
ACM SIGPLAN Notices
Optimally profiling and tracing programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending attribute grammars to support programming-in-the-large
ACM Transactions on Programming Languages and Systems (TOPLAS)
APL '94 Proceedings of the international conference on APL : the language and its applications: the language and its applications
A formal model and specification language for procedure calling conventions
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamically-valued constants: an underused language feature
ACM SIGPLAN Notices
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Discovering the way programmers think about new programming environments
Communications of the ACM
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
ACM Computing Surveys (CSUR)
Object-oriented programming for embedded systems
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Evaluation of AGV routing strategies using hierarchical simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
An empirical study of static call graph extractors
Proceedings of the 18th international conference on Software engineering
Catching bugs in the web of program invariants
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Accessing relational databases from the World Wide Web
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fork diagrams for teaching selection in CS I
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Points-to analysis in almost linear time
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program generalization for software reuse: from C to C++
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Effective use of assertions in C++
ACM SIGPLAN Notices
hcc—a portable ANSI C compiler (with a code generator for the PowerPCs)
ACM SIGPLAN Notices
Design and implementation of a parallel pipe
ACM SIGOPS Operating Systems Review
A tool for the collection of industrial software metrics data
ACM SIGSOFT Software Engineering Notes
Concurrent Detection of Software and Hardware Data-Access Faults
IEEE Transactions on Computers
Implementing a Probabilistic Clock Synchronization Algorithm
Real-Time Systems
Annotation-directed run-time specialization in C
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
System level fixed-point design based on an interpolative approach
DAC '97 Proceedings of the 34th annual Design Automation Conference
Teaching network programming with Ada and Lower_Layer
Proceedings of the conference on TRI-Ada '97
Regression testing in an industrial environment
Communications of the ACM
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
Effective whole-program analysis in the presence of pointers
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Estimation of software reliability by stratified sampling
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fast algorithms for sorting and searching strings
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Mawl: A Domain-Specific Language for Form-Based Services
IEEE Transactions on Software Engineering
A toolkit for individualized compiler-writing projects
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Dependency analysis for Standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGSOFT Software Engineering Notes
Cappuccino — A C++ to Java translator
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Program generator for RS-232C instruments
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Using Java reflection to automate extension language parsing
Proceedings of the 2nd conference on Domain-specific languages
Verischemelog: Verilog embedded in Scheme
Proceedings of the 2nd conference on Domain-specific languages
Design concepts for matrices and lattices in LiDIA
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Computational Economics - Special issue on programming languages
Resolution of dynamic memory allocation and pointers for the behavioral synthesis form C
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Generation of LR parsers by partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program transformation and runtime support for threaded MPI execution on shared-memory machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exact minimization of fixed polarity Reed-Muller expressions for incompletely specified functions
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Implementing the model-view-controller paradigm in Ada 95
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures
Enforcing high-level protocols in low-level software
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Proceedings of the 38th annual Design Automation Conference
Performance engineering case study: heap construction
Journal of Experimental Algorithmics (JEA)
Synthesis of hardware models in C with pointers and complex data structures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - System Level Design
Towards environment-retargetable parser generators
Advances in software engineering
Scalable hierarchical coarse-grained timers
ACM SIGOPS Operating Systems Review
Managing crosscutting concerns during software evolution tasks: an inquisitive study
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Challenges of refactoring C programs
Proceedings of the International Workshop on Principles of Software Evolution
Clairvoyant: a synthesis system for production-based specification
Readings in hardware/software co-design
Continuations, functions and jumps
ACM SIGACT News
The design and implementation of an APL dialect, ELI
APL '00 Proceedings of the international conference on APL-Berlin-2000 conference
Applying software engineering techniques to parser design: the development of a C# parser
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Immutability specification and its applications
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Automatic intra-register vectorization for the Intel architecture
International Journal of Parallel Programming
Automatic Problem Description from Model Program for Knowledge-based Programming Tutor
Automated Software Engineering
Matchmaking: An extensible framework for distributed resource management
Cluster Computing
Object-oriented symbol management in syntax-directed compiler systems
ACM SIGPLAN Notices
Parallel Implementations of the Selection Problem: A Case Study
International Journal of Parallel Programming
Automatic Intra-Register Vectorization for the Intel® Architecture
International Journal of Parallel Programming
RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems
IEEE Transactions on Knowledge and Data Engineering
Efficient Dilation, Erosion, Opening, and Closing Algorithms
IEEE Transactions on Pattern Analysis and Machine Intelligence
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
An Empirical Analysis of C Preprocessor Use
IEEE Transactions on Software Engineering
Parallel distributed kernel estimation
Computational Statistics & Data Analysis
Experimental evaluation of hypertext access structures
Journal of Software Maintenance: Research and Practice
Parallel implementations for string matching problem on a cluster of distributed workstations
Neural, Parallel & Scientific Computations
ACM Transactions on Mathematical Software (TOMS)
An overview of a dynamic programming environment based on extensibility
Nordic Journal of Computing
Decorating tokens to facilitate recognition of ambiguous language constructs
Software—Practice & Experience
Data remapping for design space optimization of embedded memory systems
ACM Transactions on Embedded Computing Systems (TECS)
On AC0 implementations of fusion trees and atomic heaps
SODA '03 Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms
From Macros to Reusable Generative Programming
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
C-MIX: Specialization of C Programs
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
A Source-to-Source Meta-Translation System for Relational Query Languages
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Component Libraries and Language Features
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
An L-System-Based Plant Modeling Language
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Towards a Programming Environment for a Computer with Intelligent Memory
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Cleanness Checking of String Manipulations in C Programs via Integer Analysis
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
CC '02 Proceedings of the 11th International Conference on Compiler Construction
A Combined Testing and Verification Approach for Software Reliability
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Software Analysis and Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Proving Correctness of Programs with IO - A Paradigm Comparison
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
ITS '98 Proceedings of the 4th International Conference on Intelligent Tutoring Systems
Text Searching on a Heterogeneous Cluster of Workstations
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Asserting performance expectations
Proceedings of the 2002 ACM/IEEE conference on Supercomputing
Information processing and technology
Econometric and Statistical Computing Using Ox
Computational Economics
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
CSSV: towards a realistic tool for statically detecting all buffer overflows in C
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Compiler support for speculative multithreading architecture with probabilistic points-to analysis
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Mechanisms for secure modular programming in Java
Software—Practice & Experience - Special issue: Security software
Template-based program restructuring - initial experience
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
A functional intermediate form for diverse source languages
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Quality of service management automation in integrated distributed systems
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Automatic source-file dependency structure extraction for C programs
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
An SBus Multi-Tracer and its applications
ATS '95 Proceedings of the 4th Asian Test Symposium
Seven Deadly Sins of Introductory Programming Language Design
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Automated Translation of Legacy Code for ATE
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Computational database technology for component mode synthesis
ICCST '02 Proceedings of the sixth conference on Computational structures technology
Cg: a system for programming graphics hardware in a C-like language
ACM SIGGRAPH 2003 Papers
Rapid Development of Reconfigurable Systems
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Saving the world from bad beans: deployment-time confinement checking
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
VIS '93 Proceedings of the 4th conference on Visualization '93
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
IEEE Transactions on Software Engineering
Global Analysis and Transformations in Preprocessed Languages
IEEE Transactions on Software Engineering
JVM versus CLR: a comparative study
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Future Generation Computer Systems - Selected papers on theoretical and computational aspects of structural dynamical systems in linear algebra and control
A service acquisition mechanism for the client/service model in cygnus
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A theory-model formalization of FlexOr
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Implementing a delegation model design of an HPCC application using concert/C
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Separation and information hiding
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PL-detective: a system for teaching programming language concepts
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Teaching computation to undergraduate scientists
Proceedings of the 35th SIGCSE technical symposium on Computer science education
SIPAMPL: Semi-infinite programming with AMPL
ACM Transactions on Mathematical Software (TOMS)
Building certified libraries for PCC: dynamic storage allocation
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
ART - the abstract robot toolkit
Crossroads
Using C based logic synthesis to bridge the productivity gap
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
On hardware description in ECL
Languages for system specification
Improving the static analysis of embedded languages via partial evaluation
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Erlang's exception handling revisited
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Testing static analysis tools using exploitable buffer overflows from open source code
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Compiler Optimizations for Transaction Processing Workloads on Itanium® Linux Systems
Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture
Journal of Computer and System Sciences - Special issue: STOC 2003
Compact oracles for reachability and approximate distances in planar digraphs
Journal of the ACM (JACM)
Deconstructing the "math-science quest for solutions" website via logic programming
Journal of Computing Sciences in Colleges
Teaching web application development using Zope
Journal of Computing Sciences in Colleges
Transition predicate abstraction and fair termination
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computational database technology for component mode synthesis
Advances in Engineering Software - Special issue on engineering computational technology
Some remarks on teaching of programming
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
The development of the C programming language
History of programming languages---II
History of programming languages---II
Checking of models built using a graphically based formal modelling language
Journal of Systems and Software - Special issue: Computer software & applications
Hardware implementation of hierarchical FSMs
WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
PL-detective: A system for teaching programming language concepts
Journal on Educational Resources in Computing (JERIC)
A logical analysis of aliasing in imperative higher-order functions
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
A case study of C source code verification: the Schorr-Waite algorithm
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Proceedings of the 2006 ACM SIGMIS CPR conference on computer personnel research: Forty four years of computer personnel research: achievements, challenges & the future
Producing the left parse during bottom-up parsing
Information Processing Letters
Modular verification of assembly code with stack-based control abstractions
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
A resource model for adaptable applications
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Advanced unit testing: how to scale up a unit test framework
Proceedings of the 2006 international workshop on Automation of software test
A historic functional and object-oriented calculus
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Static analysis of time bounded reactive properties of Boolean symbols
Proceedings of the 2006 ACM symposium on Applied computing
Why are APIs difficult to learn and use?
Crossroads
Performance assertions for mobile devices
Proceedings of the 2006 international symposium on Software testing and analysis
Evaluating GLR parsing algorithms
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Strongly typed memory areas programming systems-level data structures in a functional language
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Image processing pipeline in the educational project venus transit 2004
WBE'06 Proceedings of the 5th IASTED international conference on Web-based education
Software—Practice & Experience
Modern features for systems programming languages
Proceedings of the 44th annual Southeast regional conference
Modular information hiding and type-safe linking for C
TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Groovy Programming: An Introduction for Java Developers
Groovy Programming: An Introduction for Java Developers
SysObjC: C extension for development of object-oriented operating systems
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
Type inference for unboxed types and first class mutability
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
Quantitative resource-oriented analysis of Java (Adaptable) applications
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Incorporating embedded programming skills into an ECE curriculum
ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
About "trivial" software patents: The IsNot case
Science of Computer Programming
Compiling concurrent programs for embedded sequential execution
Integration, the VLSI Journal
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Programming with exceptions in JCilk
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Visualization of large data sets by mixing Tcl and C++ interfaces to the VTK library
Computers and Structures
A translator system for the MATLAB language: Research Articles
Software—Practice & Experience
Dynamic ordered sets with exponential search trees
Journal of the ACM (JACM)
Evolving a language in and for the real world: C++ 1991-2006
Proceedings of the third ACM SIGPLAN conference on History of programming languages
An Integrated Development Of A Dynamic Software-Fault Monitoring System
Journal of Integrated Design & Process Science
The Yoix® scripting language: a different way of writing Java™ applications
Software—Practice & Experience
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
strlcpy and strlcat: consistent, safe, string copy and concatenation
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
A simulated system for teaching computer architecture
WCAE '95 Proceedings of the 1995 workshop on Computer architecture education
ALPS (A Language for Process Specification) - A definition language for hypertext trails
Information Services and Use
A prototyping system for mobile devices
IWCMC '07 Proceedings of the 2007 international conference on Wireless communications and mobile computing
ACM SIGGRAPH 2007 educators program
Design and DSP implementation of fixed-point systems
EURASIP Journal on Applied Signal Processing
Automatic recursion engineering of reduction incorporated parsers
Science of Computer Programming
HySim: a fast simulation framework for embedded software development
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
A fast and generic hybrid simulation approach using C virtual machine
CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
Implicit phasing for R6RS libraries
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Implementing fast JVM interpreters using Java itself
Proceedings of the 5th international symposium on Principles and practice of programming in Java
A logical analysis of aliasing in imperative higher-order functions
Journal of Functional Programming
Equivalence between priority queues and sorting
Journal of the ACM (JACM)
Theoretical Computer Science
WBED'07 Proceedings of the sixth conference on IASTED International Conference Web-Based Education - Volume 2
Eliminating impedance mismatch in C++
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Demand-driven alias analysis for C
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An experimental laboratory environment for teaching embedded operating systems
Proceedings of the 39th SIGCSE technical symposium on Computer science education
On the complexity of partially-flow-sensitive alias analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
How artefacts rule web-based communities: practices of free software development
International Journal of Web Based Communities
An Experimental Ambiguity Detection Tool
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating handwriting recognition into Unix
Usenix-stc'93 Proceedings of the USENIX Summer 1993 Technical Conference on Summer technical conference - Volume 1
Integrating coercion with subtyping and multiple dispatch
Proceedings of the 2008 ACM symposium on Applied computing
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Writing systems software in a functional language: an experience report
Proceedings of the 4th workshop on Programming languages and operating systems
Scientific programming in Fortran
Scientific Programming - Fortran Programming Language and Scientific Programming: 50 Years of Mutual Growth
Science of Computer Programming
Scientific Computing in the $C^H$ Programming Language
Scientific Programming
Handling of Complex Numbers in the $C^H$ Programming Language
Scientific Programming
C Versus Fortran-77 for Scientific Programming
Scientific Programming
Verified Software: Theories, Tools, Experiments
Using EventB to Create a Virtual Machine Instruction Set Architecture
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Parallelizing scientific code with invasive interactive parallelization: a case study with reuseware
Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance
String hashing for linear probing
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
Separation and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Journal of Computing Sciences in Colleges
Journal of Functional Programming
CHR for Imperative Host Languages
Constraint Handling Rules
Parsing C/C++ Code without Pre-processing
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A Test-oriented Embedded System Production Methodology
Journal of Signal Processing Systems
Formal Verification of C Systems Code
Journal of Automated Reasoning
Implementation of the memory-safe full ANSI-C compiler
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
The essence of the iterator pattern
Journal of Functional Programming
Enhancing and Parallelizing Legacy Software for Medical Imaging --A Case Study
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Simulated Annealing for Multi-agent Coalition Formation
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Faster Regular Expression Matching
ICALP '09 Proceedings of the 36th International Colloquium on Automata, Languages and Programming: Part I
Formalisation of C Language Interfaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Divide-and-conquer bidirectional search: first results
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Robust image retrieval using Hu invariants and principal components analysis
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
The Cilk++ concurrency platform
Proceedings of the 46th Annual Design Automation Conference
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Language embedding and optimization in mython
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Developing an environment for embedded software energy estimation
Computer Standards & Interfaces
An experimental ambiguity detection tool
Science of Computer Programming
Local Search Algorithms for Core Checking in Hedonic Coalition Games
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Electronic Notes in Theoretical Computer Science (ENTCS)
The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
Producing the left parse during bottom-up parsing
Information Processing Letters
Structured-image retrieval invariant to rotation, scaling and translation
WSEAS TRANSACTIONS on SYSTEMS
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
The Cilk++ concurrency platform
The Journal of Supercomputing
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Compact oracles for approximate distances around obstacles in the plane
ESA'07 Proceedings of the 15th annual European conference on Algorithms
Compiling c programs into a strongly typed assembly language
ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
Distributed function computation in asymmetric communication scenarios
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Structuring agents for adaptation
Adaptive agents and multi-agent systems
Jinn: synthesizing dynamic bug detectors for foreign language interfaces
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
An analysis of the variability in forty preprocessor-based software product lines
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Brief announcement: serial-parallel reciprocity in dynamic multithreaded languages
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Efficient Earley Parsing with Regular Right-hand Sides
Electronic Notes in Theoretical Computer Science (ENTCS)
Causal pattern recovery from neural spike train data using the Snap Shot Score
Journal of Computational Neuroscience
JEqualityGen: generating equality and hashing methods
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Regular expression matching with multi-strings and intervals
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Stochastic local search for core membership checking in hedonic games
Transactions on computational collective intelligence I
The use of overloading in JAVA programs
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
The next 700 separation logics
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Base line performance measurements of access controls for libraries and modules
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
An implementation of a hygienic syntactic macro system for JavaScript: a preliminary report
Workshop on Self-Sustaining Systems
Partial preprocessing C code for variability analysis
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
A syntactic specification for the programming languages of the IEC 61131-3 standard
CIMMACS '10 Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics
Analyzing the discipline of preprocessor annotations in 30 million lines of C code
Proceedings of the tenth international conference on Aspect-oriented software development
Image searching based on principal components analysis and invariant moments
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Systems engineering principles for the design of biomedical signal processing systems
Computer Methods and Programs in Biomedicine
Clairvoyant: a synthesis system for production-based specification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Optimizing the performance of GNU-chess with a genetic algorithm
Proceedings of the 13th International Conference on Humans and Computers
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Static typing for a substructural lambda calculus
Frontiers of Computer Science in China
Automatic code generation from event-B models
Proceedings of the Second Symposium on Information and Communication Technology
Towards reliable storage systems
Towards reliable storage systems
A language for test case refinement in the test template framework
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Toward an application support layer: numerical computation in unified parallel c
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
An executable formal semantics of C with applications
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verifying χ models of industrial systems with SPIN
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Accelerating RTL simulation with GPUs
Proceedings of the International Conference on Computer-Aided Design
An embedded systems programming environment for c
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Cryptographic software: vulnerabilities in implementations
Annales UMCS, Informatica
Mechanised wire-wise verification of Handel-C synthesis
Science of Computer Programming
Automatic detection of saturation and clipping idioms
LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing
Fission for program comprehension
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
An algorithm for generating nash stable coalition structures in hedonic games
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A generic architecture for data flow analysis to support reverse engineering
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Incremental construction of component-based systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Language design and analyzability: a retrospective
Software—Practice & Experience
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Branch mispredictions don't affect mergesort
SEA'12 Proceedings of the 11th international conference on Experimental Algorithms
Supporting compile-time debugging and precise error reporting in meta-programs
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Stable Models for Stubborn Sets
Fundamenta Informaticae
A systematic approach to embedded biomedical decision making
Computer Methods and Programs in Biomedicine
Managed data: modular strategies for data abstraction
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Vc: A C++ library for explicit vectorization
Software—Practice & Experience
MARTI: a multiprocessor architecture for ray tracing images
EGGH'90 Proceedings of the Fifth Eurographics conference on Advances in Computer Graphics Hardware: rendering, ray tracing and visualization systems
ADNTIIC'11 Proceedings of the Second international conference on Advances in New Technologies, Interactive Interfaces and Communicability
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals
Proceedings of the 28th Annual ACM Symposium on Applied Computing
High performance computing workflow for protein functional annotation
Proceedings of the Conference on Extreme Science and Engineering Discovery Environment: Gateway to Discovery
A Fitness-Utility Model for Design Science Research
ACM Transactions on Management Information Systems (TMIS)
An operational and axiomatic semantics for non-determinism and sequence points in C
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
On the way of bottom-up designing textual domain-specific modelling languages
Proceedings of the 2013 ACM workshop on Domain-specific modeling
Gaussian skewness approximation for dynamic rate multi-server queues with abandonment
Queueing Systems: Theory and Applications
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
Hi-index | 0.05 |