Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Declarative language")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 444

  • Page / 18
Export

Selection :

  • and

PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Hermenegildo, Manuel; Cabeza, Daniel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24362-3, VIII, 267 p, isbn 3-540-24362-3Conference Proceedings

How to talk to your computer so that it will listenDAHL, Veronica.Lecture notes in computer science. 2002, pp 3-8, issn 0302-9743, isbn 3-540-43092-XConference Paper

Declarative programming for knowledge management (16th International conference on applications of declarative programming and knowledge management, INAP 2005, Fukuoka, Japan, October 22-24, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69233-9, 1Vol, X-228 p, isbn 3-540-69233-9Conference Proceedings

Building the world from first principles: Declarative machine descriptions and compiler constructionRAMSEY, Norman.Lecture notes in computer science. 2005, pp 1-4, issn 0302-9743, isbn 3-540-24362-3, 4 p.Conference Paper

PADL 2002 : practical aspects of declarative languages (Portland OR, 19-20 January 2002)Shriram Krishnamurthi; Ramakrishnan, C.R.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43092-X, VIII, 349 p, isbn 3-540-43092-XConference Proceedings

Lmntal as a unifying declarative language : Live demonstrationUEDA, Kazunori; KATO, Norio; HARA, Koji et al.Lecture notes in computer science. 2006, pp 457-458, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Union and intersection of filtering functions for information filteringSAWAI, Rie; TSUKAMOTO, Masahiko; TERADA, Tsutomu et al.Lecture notes in computer science. 2004, pp 738-749, issn 0302-9743, isbn 3-540-21047-4, 12 p.Conference Paper

The Importance of Being DeclarativeSPINELLIS, Diomidis.IEEE software. 2013, Vol 30, Num 1, pp 90-91, issn 0740-7459, 2 p.Article

Practical aspects of declarative languages (9th international symposium, PADL 2007, Nice, France, January 14-15, 2007)Hanus, Michael.Lecture notes in computer science. 2007, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, X-334 p, isbn 978-3-540-69608-7Conference Proceedings

Practical declarative model transformation with tefkatLAWLEY, Michael; STEEL, Jim.Lecture notes in computer science. 2006, pp 139-150, issn 0302-9743, isbn 3-540-31780-5, 1Vol, 12 p.Conference Paper

Declarative agent languages and technologies IV (4th International workshop, DALT 2006, Hakodate, Japan, May 8, 2006)Baldoni, Matteo; Endriss, Ulle.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-68959-1, 1Vol, VIII-256 p, isbn 3-540-68959-1Conference Proceedings

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualizationBAILEY, James; STUCKEY, Peter J.Lecture notes in computer science. 2005, pp 174-186, issn 0302-9743, isbn 3-540-24362-3, 13 p.Conference Paper

On improving the efficiency and robustness of table storage mechanisms for tabled evaluationROCHA, Ricardo.Lecture notes in computer science. 2007, pp 155-169, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 15 p.Conference Paper

Type class directivesHEEREN, Bastiaan; HAGE, Jurriaan.Lecture notes in computer science. 2005, pp 253-267, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Declarative agent languages and technologies III (Third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33106-9, 1Vol, XII-244 p, isbn 3-540-33106-9Conference Proceedings

Introduction to subject area chartsDAMM, Werner; WESTPHAL, Bernd.Integration of software specification techniques for applications in engineering (Priority program SoftSpez of the German Research Foundation (DFG) : final report ). Lecture notes in computer science. 2004, pp 322-324, issn 0302-9743, isbn 3-540-23135-8, 3 p.Book Chapter

Quickcheck testing for fun and profitHUGHES, John.Lecture notes in computer science. 2007, pp 1-32, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 32 p.Conference Paper

Inductive logic programming : Yet another application of logicYAMAMOTO, Akihiro.Lecture notes in computer science. 2006, pp 102-116, issn 0302-9743, isbn 3-540-69233-9, 1Vol, 15 p.Conference Paper

Safe programming with pointers through statefui viewsZHU, Dengping; XI, Hongwei.Lecture notes in computer science. 2005, pp 83-97, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Exploiting efficient control and data structures in logic programsRONG YANG; GREGORY, Steve.Lecture notes in computer science. 2002, pp 318-331, issn 0302-9743, isbn 3-540-43092-XConference Paper

A general approach for building constraint languagesHOFSTEDT, Petra.Lecture notes in computer science. 2002, pp 431-442, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Extending Languages by Leveraging Compilers: From Modelica to OptimicaHEDIN, Görel; KESSON, Johan A; EKMAN, Torbjörn et al.IEEE software. 2011, Vol 28, Num 3, pp 68-74, issn 0740-7459, 7 p.Article

Prolog performance on larger datasetsSANTOS COSTA, Vitor.Lecture notes in computer science. 2007, pp 185-199, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 15 p.Conference Paper

An ordered logic program solverVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 128-142, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Probabilistic reasoning with answer setsBARAL, Chitta; GELFOND, Michael; RUSHTON, Nelson et al.Lecture notes in computer science. 2004, pp 21-33, issn 0302-9743, isbn 3-540-20721-X, 13 p.Conference Paper

  • Page / 18