Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- 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.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 34 matches
- 1991
- Yamine Aït Ameur:
Non Functional Properties Can Guide Program Developments. JTASPEFT/WSA 1991: 189-196 - Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124 - François Barthélemy:
Prédire à bon escient. JTASPEFT/WSA 1991: 139-143 - Michel Billaud:
Axiomatizations of Backtracking. JTASPEFT/WSA 1991: 111-116 - Pierre De Boeck, Baudouin Le Charlier:
Automatic Construction of Prolog Primitives for Type Checking Analysis. JTASPEFT/WSA 1991: 165-172 - Peter T. Breuer:
An Analysis/Synthesis Language with Learning Strategies. JTASPEFT/WSA 1991: 202-209 - W.-N. Chin:
Generalising Deforestation for All First-Order Functional Programs. JTASPEFT/WSA 1991: 173-181 - Éric Villemonte de la Clergerie:
A Tool for Abstract Interpretation: Dynamic Programming. JTASPEFT/WSA 1991: 151-156 - Philippe Codognet, Gilberto Filé:
Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA 1991: 70-71 - Christopher Colby, Peter Lee:
An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA 1991: 82-89 - Charles Consel, Siau-Cheng Khoo:
Evaluation partielle paramétrable. JTASPEFT/WSA 1991: 72-81 - Patrick Cousot, Radhia Cousot:
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA 1991: 33-36 - Patrick Cousot, Radhia Cousot:
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA 1991: 107-110 - Pierre Crégut:
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. JTASPEFT/WSA 1991: 37-43 - François Denis, Jean-Paul Delahaye:
Unfolding, Procedural and Fixpoint Semantics of Logic Programs. JTASPEFT/WSA 1991: 157-164 - Vincent Dornic, Pierre Jouvelot, David K. Gifford:
Polymorphic Time Systems for Estimating Program Complexity. JTASPEFT/WSA 1991: 9-17 - Irène Durand, David J. Sherman, Robert Strandh:
Partial Evaluation of an Intermediate Language for Equational Programs. JTASPEFT/WSA 1991: 98-106 - Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar:
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991: 53-61 - F. Goudal:
Une représentation abstraite des expressions et continuations en Scheme. JTASPEFT/WSA 1991: 225-233 - M. Griffiths, Pierre Massotte, C. Paul:
Analyse et transformation de programmes Prolog en vue de leur parallélisation avec les prédicats parand et paror. JTASPEFT/WSA 1991: 217-224 - Geoff W. Hamilton, Simon B. Jones:
Transforming Programs to Eliminate Intermediate Structures. JTASPEFT/WSA 1991: 182-188 - Jean-Louis Imbert, Pascal Van Hentenryck:
A propos des redondances dans les systèmes d'inéquations linéaires. JTASPEFT/WSA 1991: 210-216 - Christophe Lecoutre, Philippe Devienne, Patrick Lebègue:
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. JTASPEFT/WSA 1991: 62-69 - Karoline Malmkjær:
On Static Properties of Specialized Programs. JTASPEFT/WSA 1991: 234-241 - Frédéric Mesnard, Jean-Gabriel Ganascia:
A propos du contrôle de la résolution. JTASPEFT/WSA 1991: 125-131 - Bruno Monsuez:
An Attempt to Find Polymorphic Types by Abstract Interpretation. JTASPEFT/WSA 1991: 18-25 - Kaninda Musumbu:
Interprétation abstraite au moyen de grammaires attribuées. JTASPEFT/WSA 1991: 144-150 - Anne De Niel, Eddi Bevers, Karel De Vlaminck:
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. JTASPEFT/WSA 1991: 90-97 - Anne Parrain, Philippe Devienne, Patrick Lebègue:
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs. JTASPEFT/WSA 1991: 132-138 - Christian Queinnec, Julian A. Padget:
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation. JTASPEFT/WSA 1991: 1-8
skipping 4 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-05 22:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint