-
Notifications
You must be signed in to change notification settings - Fork 0
/
biblio.bib
103 lines (93 loc) · 3.4 KB
/
biblio.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
@article{Covington12,
Author = "M. A. Covington and R. Bagnara and R. A. O'Keefe
and J. Wielemaker and S. Price",
Title = "Coding Guidelines for {Prolog}",
Journal = "Theory and Practice of Logic Programming",
Publisher = "Cambridge University Press",
Volume = 12,
Number = 6,
Pages = "889--927",
Address = "New York",
Year = 2012,
ISSN = "1471-0684",
Abstract = "Coding standards and good practices are fundamental to a
disciplined approach to software projects, whatever
programming languages they employ. Prolog programming
can benefit from such an approach, perhaps more than
programming in other languages. Despite this, no widely
accepted standards and practices seem to have emerged up
to now. The present paper is a first step towards
filling this void: it provides immediate guidelines for
code layout, naming conventions, documentation, proper
use of Prolog features, program development, debugging
and testing. Presented with each guideline is its
rationale and, where sensible options exist,
illustrations of the relative pros and cons for each
alternative. A coding standard should always be selected
on a per-project basis, based on a host of issues
pertinent to any given programming project; for this
reason the paper goes beyond the mere provision of
normative guidelines by discussing key factors and
important criteria that should be taken into account
when deciding on a fully-fledged coding standard for the
project.",
}
@book{Console97,
Author = {Luca Console and Evelina Lamma and Paola Mello and Michela Milano},
Title = {Programmazione logica e Prolog},
Publisher = {UTET Università},
Year = {1997}
}
@article{Cristia16,
Author = {Maximiliano Cristiá},
Year = {2016},
Month = {01},
Title = {Introducción a la notación Z}
}
@online{SetLog,
Author = {Maximiliano Cristià and Gianfranco Rossi},
Title = {\{log\}},
Url = {http://people.dmi.unipr.it/gianfranco.rossi/setlog.Home.html}
}
@article{Rossi18,
Author = "Maximiliano Cristià and Gianfranco Rossi",
Title = "Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations",
Journal = "Journal of Automated Reasoning",
Publisher = "in corso di pubblicazione",
Year = "2019"
}
@online{MetalevelDCG,
Author = {MetaLevel},
Title = {Prolog DCG Primer},
Url = {https://www.metalevel.at/prolog/dcg}
}
@article{DeSantis17,
Author = {Lorenzo De Santis and Gianfranco Rossi},
Year = {2017},
Title = {Da Specifiche Z a Programmi Java tramite JSetL}
}
@article{Dovier00,
Author = {Agostino Dovier and Carla Piazza and Enrico Pontelli and Gianfranco Rossi},
Title = {Sets and Constraint Logic Programming},
Journal = "ACM Transaction on Programming Language and Systems",
Volume = 22,
Number = 5,
Pages = "861-931",
Year = {2000}
}
@online{JSetL,
Author = {Gianfranco Rossi},
Title = {JSetL},
Url = {http://cmt.math.unipr.it/jsetl.html}
}
@online{PicatGuide,
Author = {Neng-Fa Zhou and Jonathan Fruhman},
Title = {A User’s Guide to Picat (version 2.6)},
Year = {2019},
Url = {http://picat-lang.org/}
}
@online{PicatLang,
Author = {Neng-Fa Zhou and Jonathan Fruhman},
Title = {Picat},
Url = {http://picat-lang.org/}
}