Titel

Merkliste
1 Ergebnisse

Providing declarative semantics for HH extended constraint ..:

, In: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming,

García-Díaz, Miguel ; Nieva, Susana - p. 55-66 , 2004

Link: https://dl.acm.org/doi/10.1145/1013963.1013973

RT 
T1 <cTitle>Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming</cTitle>: T1 <Title>Providing declarative semantics for HH extended constraint logic programs</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1013973&Exemplar=1&LAN=DE
				
A1 García-Díaz, Miguel
A1 Nieva, Susana
PB ACM
YR 2004
K1 constraint systems
K1 fixed point constructions
K1 hereditary Harrop formulas
K1 sequent calculi
K1 Theory of computation
K1 Semantics and reasoning
K1 Program semantics
K1 Denotational semantics
K1 Program reasoning
K1 Logic
K1 Programming logic
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Constraint and logic languages
K1 Formal language definitions
K1 Semantics
K1 Constraint and logic programming
K1 Multiparadigm languages
SP 55
OP 66
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1013963.1013973
DO https://dl.acm.org/doi/10.1145/1013963.1013973
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)