Titel

Merkliste
1 Ergebnisse

Abstraction carrying code and resource-awareness:

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

Hermenegildo, Manuel V. ; Albert, Elvira ; López-García, Pedro. - p. 1-11 , 2005

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

RT 
T1 <cTitle>Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming</cTitle>: T1 <Title>Abstraction carrying code and resource-awareness</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1069775&Exemplar=1&LAN=DE
				
A1 Hermenegildo, Manuel V.
A1 Albert, Elvira
A1 López-García, Pedro
A1 Puebla, Germán
PB ACM
YR 2005
K1 abstract interpretation
K1 cost analysis
K1 distributed programming
K1 granularity control
K1 mobile code certification
K1 program debugging
K1 program verification
K1 programming languages
K1 resource awareness
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Logic
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
K1 Assertions
K1 Distributed computing methodologies
K1 Distributed programming languages
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Multiparadigm languages
K1 Constraint and logic languages
K1 Hardware
K1 Hardware validation
K1 Functional verification
K1 Assertion checking
K1 Software creation and management
K1 Software verification and validation
K1 Software defect analysis
K1 Software testing and debugging
K1 Process validation
K1 Abstraction
K1 Empirical software validation
K1 General and reference
K1 Cross-computing tools and techniques
K1 Validation
K1 Design and analysis of algorithms
K1 Program analysis
K1 Program semantics
K1 Models of computation
K1 Abstract machines
SP 1
OP 11
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1069774.1069775
DO https://dl.acm.org/doi/10.1145/1069774.1069775
SF ELIB - SuUB Bremen

Export

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