ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ActionScript bytecode verification with co-logic programming (abstract only)
ACM SIGPLAN Notices
◽
10.1145/1667209.1667212
◽
2009
◽
Vol 44
(8)
◽
pp. 4-4
Author(s):
Brian W. DeVries
◽
Gopal Gupta
◽
Kevin W. Hamlen
◽
Scott Moore
◽
Meera Sridhar
Keyword(s):
Logic Programming
◽
Bytecode Verification
Download Full-text
Related Documents
Cited By
References
ActionScript bytecode verification with co-logic programming
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09
◽
10.1145/1554339.1554342
◽
2009
◽
Cited By ~ 6
Author(s):
Brian W. DeVries
◽
Gopal Gupta
◽
Kevin W. Hamlen
◽
Scott Moore
◽
Meera Sridhar
Keyword(s):
Logic Programming
◽
Bytecode Verification
Download Full-text
Constraint Logic Programming Using ECLiPSe
10.1017/cbo9780511607400
◽
2006
◽
Cited By ~ 59
Author(s):
Krzysztof R. Apt
◽
Mark Wallace
Keyword(s):
Logic Programming
◽
Constraint Logic Programming
Download Full-text
QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach
Informatica
◽
10.15388/informatica.2010.301
◽
2010
◽
Vol 21
(4)
◽
pp. 487-504
◽
Cited By ~ 1
Author(s):
Jeremy Besson
◽
Albertas Čaplinskas
Keyword(s):
Logic Programming
◽
Constraint Logic Programming
◽
Programming Approach
Download Full-text
CCDM: Ladder-Logic Programming for Wireless Sensors and Actuators with Central Controller-Based Device Management
IEICE Transactions on Communications
◽
10.1587/transcom.e94.b.2208
◽
2011
◽
Vol E94-B
(8)
◽
pp. 2208-2215
Author(s):
Hideya OCHIAI
◽
Hiroshi ESAKI
Keyword(s):
Logic Programming
◽
Wireless Sensors
◽
Sensors And Actuators
◽
Device Management
◽
Central Controller
◽
Ladder Logic
Download Full-text
Logic Programming and Knowledge Base Maintenance.
10.21236/ada137062
◽
1983
◽
Author(s):
K. A. Bowen
Keyword(s):
Logic Programming
◽
Knowledge Base
Download Full-text
Parallel Logic Programming and ZMOB
10.21236/ada196942
◽
1988
◽
Author(s):
Jack Minker
◽
Mark Weiser
Keyword(s):
Logic Programming
◽
Parallel Logic Programming
Download Full-text
Conceptual Modeling via Logic Programming
10.21236/ada219785
◽
1990
◽
Author(s):
John Burge
◽
Bill Noah
◽
Les Smith
Keyword(s):
Logic Programming
◽
Conceptual Modeling
Download Full-text
Parallel Logic Programming Architecture
10.21236/ada225199
◽
1990
◽
Author(s):
William B. Day
Keyword(s):
Logic Programming
◽
Parallel Logic Programming
Download Full-text
Logic Programming and Automated Reasoning
10.1007/3-540-56944-8
◽
1993
◽
Cited By ~ 1
Keyword(s):
Logic Programming
◽
Automated Reasoning
Download Full-text
Book review: Deductive Databases and Logic Programming
Computing & Control Engineering Journal
◽
10.1049/cce:19930045
◽
1993
◽
Vol 4
(4)
◽
pp. 192
Author(s):
W.J. Cullyer
Keyword(s):
Logic Programming
◽
Deductive Databases
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close