Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

Uloženo v:

Podrobná bibliografie
Další autoři:	Hudak, Paul (Editor) Warren, David S (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2008
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-540-77442-6 9783540774419
Témata:	informatika programování softwarové inženýrství programovací jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!


LEADER	03528nam a22005295i 4500
001	001820180
003	CZ PrSTK
005	20151116135408.0
006	m f d
007	cr nn 008mamaa
008	100301s2008 gw \| s \|\|\|\| 0\|eng d
020			\|a 978-3-540-77442-6 \|9 9783540774426
024	7		\|a 10.1007/978-3-540-77442-6 \|2 doi
040			\|a DE-He213 \|b cze \|d ABA013
072		7	\|a 004 \|x Počítačová věda. Výpočetní technika. Informační technologie \|2 Konspekt \|9 23
080			\|a 004 \|2 MRF
245	1	0	\|a Practical Aspects of Declarative Languages : \|b 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / \|c edited by Paul Hudak, David S. Warren
264		1	\|a Berlin ; \|a Heidelberg : \|b Springer Berlin Heidelberg, \|c 2008
300			\|a 1 online zdroj (X, 342 stran)
336			\|a text \|b txt \|2 rdacontent
337			\|a počítač \|b c \|2 rdamedia
338			\|a online zdroj \|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science, \|x 0302-9743 ; \|v 4902
505	0		\|a Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs -- Flexible, Rule-Based Constraint Model Linearisation -- The Role of Abduction in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming -- Specialising Simulator Generators for High-Performance Monte-Carlo Methods -- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers -- Matchete: Paths through the Pattern Matching Jungle -- Parser Combinators for Ambiguous Left-Recursive Grammars -- DCGs + Memoing = Packrat Parsing but Is It Worth It? -- An Improved Continuation Call-Based Implementation of Tabling -- Scheduling Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism -- Hierarchical Master-Worker Skeletons -- High-Level Multi-threading Programming in Logtalk -- Switched-On Yampa -- Model-Based Testing of Thin-Client Web Applications and Navigation Input -- High-Level Database Programming in Curry
655		7	\|a elektronické knihy \|7 fd186907 \|2 czenas
659		0	\|a Computer science
659		0	\|a Computer programming
659		0	\|a Software engineering
659		0	\|a Programming languages (Electronic computers)
659		0	\|a Computer logic
659	1	4	\|a Computer Science
659	2	4	\|a Programming Languages, Compilers, Interpreters
659	2	4	\|a Programming Techniques
659	2	4	\|a Logics and Meanings of Programs
659	2	4	\|a Software Engineering
650	0	7	\|a informatika \|x if \|7 psh6548 \|2 psh
650	0	7	\|a programování \|x vt \|7 psh12467 \|2 psh
650	0	7	\|a softwarové inženýrství \|x if \|7 psh6634 \|2 psh
650	0	7	\|a programovací jazyky \|x vt \|7 psh12474 \|2 psh
700	1		\|a Hudak, Paul \|4 edt
700	1		\|a Warren, David S \|4 edt
710	2		\|a SpringerLink (online služba) \|7 ntk2018999494
776	0	8	\|i Tištěné vydání: \|t Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings \|z 9783540774419
830		0	\|a Lecture Notes in Computer Science
856	4	0	\|u https://doi.org/10.1007/978-3-540-77442-6 \|y Plný text
910			\|a ABA013
950			\|a Springer \|b Lecture Notes in Computer Science 2017