• Suche: "D.3.3: Language Constructs and Features"

Treffer 1 - 20 von 271

1

Dynamic Round-Trip Engineering in the context of FOMDD
Cavarlé, Glenn ; Plantec, Alain ; Costiou, Steven ; et al.
11th International Workshop on Smalltalk Technologies. :1-7

Prague, Czech Republic smalltalk model driven engineering round-trip engi- neering feature-oriented develop... ACM: D.: Software …
Konferenz
Zu den Favoriten
2

Automatic Detection of GUI Design Smells: The Case of Blob Listener
Lelli, Valéria ; Blouin, Arnaud ; Baudry, Benoit ; et al.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'16). :263-274

Brussels, Belgium User interface design smell software validation code quality ACM: F.: Theory of Compu... …
Konferenz
Zu den Favoriten
3

A Modern C++ Point of View of Programming in Image Processing
Roynard, Michaël ; Carlinet, Edwin ; Géraud, Thierry ; et al.

Image processing Generic Programming Modern C++ Software Performance ACM: I.: Computing Metho... …
E-Ressource
Zu den Favoriten
4

A Principled Approach to Ornamentation in ML
Williams, Thomas ; Rémy, Didier ; Langages de programmation, types, compilation et preuves (GALLIUM) ; et al.
Proceedings of the ACM on Programming Languages. :1-30

Refactoring ML Ornaments Logical Relations Dependent Types Functional programming …
Zeitschrift
Zu den Favoriten
5

Several Types of Types in Programming Languages
Martini, Simone ; Foundations of Component-based Ubiquitous Systems (FOCUS) ; Centre Inria d'Université Côte d'Azur ; et al.
3rd International Conference on History and Philosophy of Computing (HaPoC). :216-227

Pisa, Italy Abstraction mechanisms History of computing Programming languages Types ACM: D.: Software …
Konferenz
Zu den Favoriten
6

How We Design Interfaces, and How To Assess It
Abdeen, Hani ; Sahraoui, Houari ; Osama, Shata ; et al.
29th IEEE International Conference on Software Maintenance. :80-89

Eindhoven, Netherlands Object-Oriented Interfaces Interface Design Princip... Program to an Interface... Interface Segregation Pr... …
Konferenz
Zu den Favoriten
7

Concurrent Flexible Reversibility
Lanese, Ivan ; Lienhardt, Michaël ; Mezzina, Claudio, Antares ; et al.
22nd European Symposium on Programming. :370-390

Rome, Italy ACM: F.: Theory of Compu... ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.2: Concurrent prog... …
Konferenz
Zu den Favoriten
8

Parametric Polymorphism and Semantic Subtyping: the Logical Connection
Gesbert, Nils ; Genevès, Pierre ; Layaïda, Nabil ; et al.
International conference on functional programming. :107-116

Tokyo, Japan subtyping Polymorphism Type-system ACM: D.: Software D.3: PROGRAMMING LANGUAG... …
Konferenz
Zu den Favoriten
9

Importance de la sémantique dans le codage CNF de contraintes de cardinalité : application au diagnostic de SED
Anbulagan, A. ; Grastien, Alban ; National ICT Australia [Sydney] (NICTA) ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :31-40

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
10

Hybridation de la programmation par contraintes et d'un voisinage à très grande taille pour Eternity II
Schauss, Pierre ; Deville, Yves ; Département d'Ingénierie Informatique - UCL (INGI) ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :115-122

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
11

Une contrainte globale de bin-packing avec précédences : application au problème d'équilibrage de lignes d'assemblage
Schauss, Pierre ; Deville, Yves ; Département d'Ingénierie Informatique - UCL (INGI) ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :79-86

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
12

Dynamic Branch & Bound Distribué
Benelallam, Imade ; Belaissaoui, Mustapha ; Ezzahir, Redouane ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :165-172

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
13

Techniques de Décomposition pour l'Isomorphisme de Sous-Graphe
Zampelli, Stéphane ; Mann, Martin ; Deville, Yves ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :227-236

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
14

Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT
Li, Chu Min ; Manya, Felip ; Ould Mohamedou, Nouredine ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :287-295

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
15

Prouvabilité et correction des formules implicatives
Zarrad, Rim ; Demba, Moussa ; Bsaïes, Khaled ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :391-395

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
16

LS(Graph) : un cadre de recherche locale pour des problèmes d'optimisation sous contraintes sur des graphes
Quang Dung, Pham ; Deville, Yves ; van Hentenryck, Pascal ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :317-326

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
17

Base littérale et certificat pour les formules booléennes quantifiées
Stéphan, Igor ; da Mota, Benoit ; Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA) ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :307-316

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
18

Propagation de Contraintes et Listes Tabou pour le CSP
Dib, Mohammad ; Caminada, Alexandre ; Mabed, Hakim ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :409-413

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
19

Des règles aux contraintes avec le langage de modélisation Rules2CP
Fages, Francois ; Martin, Julien ; Constraint programming (CONTRAINTES) ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :361-371

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
20

Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle
Fages, Francois ; Rizk, Aurélien ; Constraint programming (CONTRAINTES) ; et al.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes. :1-10

Nantes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.3.3.3: Constraints [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter