• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 68 matches

• 2010
• 
  Johan Åkesson, Torbjörn Ekman, Görel Hedin:
  Implementation of a Modelica compiler using JastAdd attribute grammars. Sci. Comput. Program. 75(1-2): 21-38 (2010)
• 
  Davide Ancona, Alex Buckley:
  Preface to the Special Issue on Object-Oriented Programming Languages and Systems (OOPS 2008), A Special Track at the 23rd ACM Symposium on Applied Computing. Sci. Comput. Program. 75(9): 761 (2010)
• 
  Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner:
  An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Program. 75(11): 1022-1047 (2010)
• 
  Jeannette Bennett, Kendra M. L. Cooper, Lirong Dai:
  Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach. Sci. Comput. Program. 75(8): 689-725 (2010)
• 
  Eerke A. Boiten, John Derrick:
  Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75(12): 1262-1269 (2010)
• 
  Claus Brabrand, Robert Giegerich, Anders Møller:
  Analyzing ambiguity of context-free grammars. Sci. Comput. Program. 75(3): 176-191 (2010)
• 
  Mark G. J. van den Brand, Kim Mens:
  Guest editors' introduction to the 3rd issue of Experimental Software and Toolkits (EST): A special issue on Academic Software Development Tools and Techniques (WASDeTT 2008). Sci. Comput. Program. 75(4): 214-215 (2010)
• 
  Martin Bravenboer, Eelco Dolstra, Eelco Visser:
  Preventing injection attacks with syntax embeddings. Sci. Comput. Program. 75(7): 473-495 (2010)
• 
  Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt:
  Enforcing structural regularities in software using IntensiVE. Sci. Comput. Program. 75(4): 232-246 (2010)
• 
  Manfred Broy:
  Multifunctional software systems: Structured modeling and specification of functional requirements. Sci. Comput. Program. 75(12): 1193-1214 (2010)
• 
  Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards:
  A novel analysis space for pointer analysis and its application for bug finding. Sci. Comput. Program. 75(11): 921-942 (2010)
• 
  Diego Ordóñez Camacho, Kim Mens, Mark van den Brand, Jurgen J. Vinju:
  Automated generation of program translation and verification tools using annotated grammars. Sci. Comput. Program. 75(1-2): 3-20 (2010)
• 
  Carlos Canal, Corina S. Pasareanu:
  Preface. Sci. Comput. Program. 75(10): 809-810 (2010)
• 
  Jan Carlson, Björn Lisper:
  A resource-efficient event algebra. Sci. Comput. Program. 75(12): 1215-1234 (2010)
• 
  Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen:
  Type-directed weaving of aspects for polymorphically typed functional languages. Sci. Comput. Program. 75(11): 1048-1076 (2010)
• 
  Lawrence Chung, José Luis Garrido, Nary Subramanian, Manuel Noguera, Kawtar Benghazi Akhlaki:
  Designing high quality system/software architectures. Sci. Comput. Program. 75(8): 669-671 (2010)
• 
  Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
  Event based choreography. Sci. Comput. Program. 75(10): 848-878 (2010)
• 
  Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan:
  A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms. Sci. Comput. Program. 75(11): 1095-1112 (2010)
• 
  José María Conejero, Juan Hernández Núñez, Elena Jurado, Klaas van den Berg:
  Mining early aspects based on syntactical and dependency analyses. Sci. Comput. Program. 75(11): 1113-1141 (2010)
• 
  Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
  Sound refactorings. Sci. Comput. Program. 75(3): 106-133 (2010)
• 
  Ryan Culpepper, Matthias Felleisen:
  Debugging hygienic macros. Sci. Comput. Program. 75(7): 496-515 (2010)
• 
  Marco D'Ambros, Michele Lanza:
  Distributed and Collaborative Software Evolution Analysis with Churrasco. Sci. Comput. Program. 75(4): 276-287 (2010)
• 
  Joel E. Denny, Brian A. Malloy:
  The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution. Sci. Comput. Program. 75(11): 943-979 (2010)
• 
  John Derrick, Heike Wehrheim:
  Model transformations across views. Sci. Comput. Program. 75(3): 192-210 (2010)
• 
  Alastair F. Donaldson, Simon J. Gay:
  Type inference and strong static type checking for Promela. Sci. Comput. Program. 75(11): 1165-1191 (2010)
• 
  Pascal Fradet, Stéphane Hong Tuan Ha:
  Aspects of availability: Enforcing timed properties to prevent denial of service. Sci. Comput. Program. 75(7): 516-542 (2010)
• 
  Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander:
  Constructing language processors with algebra combinators. Sci. Comput. Program. 75(7): 543-572 (2010)
• 
  Joseph Gil, Keren Lenz:
  Simple and safe SQL queries with C++ templates. Sci. Comput. Program. 75(7): 573-595 (2010)
• 
  J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.:
  Integrating coercion with subtyping and multiple dispatch. Sci. Comput. Program. 75(9): 787-795 (2010)
• 
  Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
  Compact and efficient strings for Java. Sci. Comput. Program. 75(11): 1077-1094 (2010)

skipping 38 more matches