• 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 32 matches

• 2014
• 
  Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter, Marcus Denker:
  Gradual typing for Smalltalk. Sci. Comput. Program. 96: 52-69 (2014)
• 
  David Chisnall:
  Smalltalk in a C world. Sci. Comput. Program. 96: 4-16 (2014)
• 
  Jácome Cunha, Jorge Mendes, João Saraiva, Joost Visser:
  Model-based programming environments for spreadsheets. Sci. Comput. Program. 96: 254-275 (2014)
• 
  Krzysztof Czarnecki, Görel Hedin:
  Software language engineering (SLE '12). Sci. Comput. Program. 96: 395 (2014)
• 
  Felipe Nunes Gaia, Gabriel Coutinho Sousa Ferreira, Eduardo Figueiredo, Marcelo de Almeida Maia:
  A quantitative and qualitative assessment of aspectual feature modules for evolving software product lines. Sci. Comput. Program. 96: 230-253 (2014)
• 
  Verónica Uquillas Gómez, Stéphane Ducasse, Andy Kellens:
  Supporting streams of changes during branch integration. Sci. Comput. Program. 96: 84-106 (2014)
• 
  Giancarlo Guizzardi, Veruska Zamborlini:
  Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling. Sci. Comput. Program. 96: 417-443 (2014)
• 
  Marcel Hlopko, Jan Kurs, Jan Vraný, Claus Gittinger:
  On the integration of Smalltalk and Java. Sci. Comput. Program. 96: 17-33 (2014)
• 
  Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne:
  On modelling and verifying railway interlockings: Tracking train lengths. Sci. Comput. Program. 96: 315-336 (2014)
• 
  Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
  Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. Sci. Comput. Program. 96: 175-176 (2014)
• 
  Bilal Kanso, Safouan Taha:
  Specification of temporal properties with OCL. Sci. Comput. Program. 96: 527-551 (2014)
• 
  Lijesh Krishnan, Eric Van Wyk:
  Monolithic and modular termination analyses for higher-order attribute grammars. Sci. Comput. Program. 96: 511-526 (2014)
• 
  Tobias Kuhn, Alexandre Bergel:
  Verifiable source code documentation in controlled natural language. Sci. Comput. Program. 96: 121-140 (2014)
• 
  Loïc Lagadec, Alain Plantec:
  Preface to the special issue on advances in Smalltalk based systems. Sci. Comput. Program. 96: 1-3 (2014)
• 
  Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani:
  Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging. Sci. Comput. Program. 96: 156-174 (2014)
• 
  Gerald Lüttgen, Stephan Merz:
  Special issue on Automated Verification of Critical Systems (AVoCS'12). Sci. Comput. Program. 96: 277-278 (2014)
• 
  Claude Marché:
  Verification of the functional behavior of a floating-point program: An industrial case study. Sci. Comput. Program. 96: 279-296 (2014)
• 
  Radu Mateescu, Anton Wijs:
  Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. Sci. Comput. Program. 96: 354-376 (2014)
• 
  Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy:
  Left recursion in Parsing Expression Grammars. Sci. Comput. Program. 96: 177-190 (2014)
• 
  Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack:
  A tutorial on metamodelling for grammar researchers. Sci. Comput. Program. 96: 396-416 (2014)
• 
  Guillermo Polito, Stéphane Ducasse, Luc Fabresse, Noury Bouraqadi, Benjamin Van Ryseghem:
  Bootstrapping reflective systems: The case of Pharo. Sci. Comput. Program. 96: 141-155 (2014)
• 
  Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim:
  The formalization and implementation of Adaptable Parsing Expression Grammars. Sci. Comput. Program. 96: 191-210 (2014)
• 
  Benjamin Van Ryseghem, Stéphane Ducasse, Johan Fabry:
  Seamless composition and reuse of customizable user interfaces with Spec. Sci. Comput. Program. 96: 34-51 (2014)
• 
  Anthony M. Sloane, Matthew Roberts:
  Domain-specific program profiling and its application to attribute grammars and term rewriting. Sci. Comput. Program. 96: 488-510 (2014)
• 
  Reinout Stevens, Coen De Roover, Carlos Noguera, Andy Kellens, Viviane Jonckers:
  A logic foundation for a general-purpose history querying tool. Sci. Comput. Program. 96: 107-120 (2014)
• 
  Andrew Stevenson, James R. Cordy:
  A survey of grammatical inference in software engineering. Sci. Comput. Program. 96: 444-459 (2014)
• 
  Tijs van der Storm, William R. Cook, Alex Loh:
  The design and implementation of Object Grammars. Sci. Comput. Program. 96: 460-487 (2014)
• 
  Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
  Constructive polychronous systems. Sci. Comput. Program. 96: 377-394 (2014)
• 
  Bogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim:
  Two approaches for proving linearizability of multiset. Sci. Comput. Program. 96: 297-314 (2014)
• 
  Martin Unterholzner:
  Improving refactoring tools in Smalltalk using static type inference. Sci. Comput. Program. 96: 70-83 (2014)

skipping 2 more matches