Practical aspects of declarative languages: third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Series: | Lecture notes in computer science
1990 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | VIII, 351 S. graph. Darst. |
| ISBN: | 3540417680 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013605401 | ||
| 003 | DE-604 | ||
| 005 | 20010320 | ||
| 007 | t| | ||
| 008 | 010220s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 960799095 |2 DE-101 | |
| 020 | |a 3540417680 |9 3-540-41768-0 | ||
| 035 | |a (OCoLC)46314857 | ||
| 035 | |a (DE-599)BVBBV013605401 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13/1 |2 21 | |
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Practical aspects of declarative languages |b third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings |c I. V. Ramakrishnan (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a VIII, 351 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1990 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Langages de programmation - Sémantique - Congrès | |
| 650 | 7 | |a Langages de programmation - Sémantique - Congrès |2 ram | |
| 650 | 7 | |a Programmation déclarative - Congrès |2 ram | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 7 | |a langage déclaratif |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a programmation déclarative |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation sous contrainte |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics |v Congresses | |
| 650 | 0 | 7 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Las Vegas Nev. |2 gnd-content | |
| 689 | 0 | 0 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ramakrishnan, I. V. |d 1952- |e Sonstige |0 (DE-588)122686349 |4 oth | |
| 711 | 2 | |a PADL |n 3 |d 2001 |c Las Vegas, Nev. |j Sonstige |0 (DE-588)10016077-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1990 |w (DE-604)BV000000607 |9 1990 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009294293&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009294293 | |
Record in the Search Index
| _version_ | 1826220055455596544 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
A
MODEL
CHECKER
FOR
VALUE-PASSING
MU-CALCULUS
USING
LOGIC
PROGRAMMING
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
C.R.
RAMAKRISHNAN
DESIGN
AND
IMPLEMENTATION
OF
THE
HIGH-LEVEL
SPECIYYCATION
LANGUAGE
CSP(LP)
IN
PROLOG
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
14
M.
LEUSCHEL
FRAPP´E:
FUNCTIONAL
REACTIVE
PROGRAMMING
IN
JAVA
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
A.
COURTNEY
FROM
SUBJECT
DIRECTORIES
TO
SUBJECT
META-DIRECTORIES
VIA
DECLARATIVE
PROGRAMMING
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
A.
BROGI
AND
G.
CARUSO
PROGRAMMING
GOAL-DRIVEN
WEB
SITES
USING
AN
AGENT
LOGIC
LANGUAGE
.
.
.
.
60
M.
BALDONI,
C.
BAROGLIO,
A.
CHIAROTTO,
AND
V.
PATTI
HIGH-LEVEL
SERVER
SIDE
WEB
SCRIPTING
IN
CURRY
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
76
M.
HANUS
LOGIC
PROGRAMMING
TECHNIQUES
FOR
DYNAMIC
VRML
WEB
CONTENT
GENERATION
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
93
A.
GUPTA
AND
P.
TARAU
SOFT
CONSTRAINTS
FOR
SECURITY
PROTOCOL
ANALYSIS:
CONYYDENTIALITY
.
.
.
.
.
.
.
.
.
.
108
G.
BELLA
AND
S.
BISTARELLI
SECURE
DEDUCTIVE
DATABASES
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
123
S.
BARKER
SPECIFYING
AUTHENTICATION
PROTOCOLS
USING
REWRITING
AND
STRATEGIES
.
.
.
.
.
.
138
H.
CIRSTEA
INTEROPERABILITY
BETWEEN
BIOINFORMATICS
TOOLS:
A
LOGIC
PROGRAMMING
APPROACH
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
153
J.R.
IGLESIAS,
G.
GUPTA,
E.
PONTELLI,
D.
RANJAN,
AND
B.
MILLIGAN
AN
A-PROLOG
DECISION
SUPPORT
SYSTEM
FOR
THE
SPACE
SHUTTLE
.
.
.
.
.
.
.
.
.
.
.
.
.
169
M.
NOGUEIRA,
M.
BALDUCCINI,
M.
GELFOND,
R.
WATSON,
AND
M.
BARRY
TU
PROLOG:
A
LIGHT-WEIGHT
PROLOG
FOR
INTERNET
APPLICATIONS
AND
INFRASTRUCTURES
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
184
E.
DENTI,
A.
OMICINI,
AND
A.
RICCI
VIII
TABLE
OF
CONTENTS
A
NOVEL
IMPLEMENTATION
OF
THE
EXTENDED
ANDORRA
MODEL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
199
R.
LOPES,
V.S.
COSTA,
AND
F.
SILVA
SOUNDCHECK
FOR
SQL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
214
H.
DECKER
COMPILING
HIGH-LEVEL
TYPE
CONSTRUCTORS
IN
CONSTRAINT
PROGRAMMING
.
.
.
.
229
P.
FLENER,
B.
HNICH,
AND
Z.
KYYZYYLTAN
CONSTRAINT
DATABASE
MODELS
CHARACTERIZING
TIMED
BISIMILARITY
.
.
.
.
.
.
.
.
.
.
245
S.
MUKHOPADHYAY
AND
A.
PODELSKI
SPATIO-TEMPORAL
ANNOTATED
CONSTRAINT
LOGIC
PROGRAMMING
.
.
.
.
.
.
.
.
.
.
.
.
.
.
259
A.
RAYYAET`A
AND
T.
FR¨
UHWIRTH
A
META-HEURISTIC
FOR
SUBSET
PROBLEMS
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
274
P.
FLENER,
B.
HNICH,
AND
Z.
KYYZYYLTAN
CONSTRUCTION
AND
OPTIMIZATION
OF
A
PARALLEL
ENGINE
FOR
ANSWER
SET
PROGRAMMING
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
288
E.
PONTELLI
AND
O.
EL-KHATIB
FVISION:
A
DECLARATIVE
LANGUAGE
FOR
VISUAL
TRACKING
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
304
J.
PETERSON,
P.
HUDAK,
A.
REID,
AND
G.
HAGER
A
MOST
SPECIYYC
METHOD
FINDING
ALGORITHM
FOR
REYYECTION
BASED
DYNAMIC
PROLOG-TO-JAVA
INTERFACES
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
322
S.
TYAGI
AND
P.
TARAU
STATE
GENERATION
IN
THE
PARMC
MODEL
CHECKER
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
337
O.
KASER
AUTHOR
INDEX
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
353 |
| any_adam_object | 1 |
| author_GND | (DE-588)122686349 |
| building | Verbundindex |
| bvnumber | BV013605401 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)46314857 (DE-599)BVBBV013605401 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013605401</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010320</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010220s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">960799095</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540417680</subfield><subfield code="9">3-540-41768-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46314857</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013605401</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical aspects of declarative languages</subfield><subfield code="b">third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings</subfield><subfield code="c">I. V. Ramakrishnan (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 351 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1990</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Sémantique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation déclarative - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage déclaratif</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation déclarative</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation sous contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2001</subfield><subfield code="z">Las Vegas Nev.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ramakrishnan, I. V.</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122686349</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PADL</subfield><subfield code="n">3</subfield><subfield code="d">2001</subfield><subfield code="c">Las Vegas, Nev.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10016077-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1990</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1990</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009294293&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009294293</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Las Vegas Nev. gnd-content |
| genre_facet | Konferenzschrift 2001 Las Vegas Nev. |
| id | DE-604.BV013605401 |
| illustrated | Illustrated |
| indexdate | 2025-03-10T15:06:00Z |
| institution | BVB |
| institution_GND | (DE-588)10016077-3 |
| isbn | 3540417680 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009294293 |
| oclc_num | 46314857 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706 |
| physical | VIII, 351 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings I. V. Ramakrishnan (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 VIII, 351 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1990 Literaturangaben Langages de programmation - Sémantique - Congrès Langages de programmation - Sémantique - Congrès ram Programmation déclarative - Congrès ram Programmeertalen gtt langage déclaratif inriac méthode formelle inriac programmation déclarative inriac programmation en logique inriac programmation sous contrainte inriac réécriture inriac Programming languages (Electronic computers) Semantics Congresses Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Las Vegas Nev. gnd-content Deklarative Programmiersprache (DE-588)4293502-7 s DE-604 Ramakrishnan, I. V. 1952- Sonstige (DE-588)122686349 oth PADL 3 2001 Las Vegas, Nev. Sonstige (DE-588)10016077-3 oth Lecture notes in computer science 1990 (DE-604)BV000000607 1990 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009294293&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings Lecture notes in computer science Langages de programmation - Sémantique - Congrès Langages de programmation - Sémantique - Congrès ram Programmation déclarative - Congrès ram Programmeertalen gtt langage déclaratif inriac méthode formelle inriac programmation déclarative inriac programmation en logique inriac programmation sous contrainte inriac réécriture inriac Programming languages (Electronic computers) Semantics Congresses Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| subject_GND | (DE-588)4293502-7 (DE-588)1071861417 |
| title | Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings |
| title_auth | Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings |
| title_exact_search | Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings |
| title_full | Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings I. V. Ramakrishnan (ed.) |
| title_fullStr | Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings I. V. Ramakrishnan (ed.) |
| title_full_unstemmed | Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings I. V. Ramakrishnan (ed.) |
| title_short | Practical aspects of declarative languages |
| title_sort | practical aspects of declarative languages third international symposium padl 2001 las vegas nevada march 11 12 2001 proceedings |
| title_sub | third international symposium, PADL 2001, Las Vegas, Nevada, March 11 - 12, 2001 ; proceedings |
| topic | Langages de programmation - Sémantique - Congrès Langages de programmation - Sémantique - Congrès ram Programmation déclarative - Congrès ram Programmeertalen gtt langage déclaratif inriac méthode formelle inriac programmation déclarative inriac programmation en logique inriac programmation sous contrainte inriac réécriture inriac Programming languages (Electronic computers) Semantics Congresses Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| topic_facet | Langages de programmation - Sémantique - Congrès Programmation déclarative - Congrès Programmeertalen langage déclaratif méthode formelle programmation déclarative programmation en logique programmation sous contrainte réécriture Programming languages (Electronic computers) Semantics Congresses Deklarative Programmiersprache Konferenzschrift 2001 Las Vegas Nev. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009294293&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ramakrishnaniv practicalaspectsofdeclarativelanguagesthirdinternationalsymposiumpadl2001lasvegasnevadamarch11122001proceedings AT padllasvegasnev practicalaspectsofdeclarativelanguagesthirdinternationalsymposiumpadl2001lasvegasnevadamarch11122001proceedings |