BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
magic (3)
logic (3)
model (3)
system (2)
program (2)

Stem wand$ (all stems)

8 papers:

ECOOPECOOP-2015-SchwerhoffS #automation #lightweight #verification
Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.
POPLPOPL-2014-LeeP #logic #proving
A proof system for separation logic with magic wand (WL, SP), pp. 477–490.
HCIHIMI-D-2013-LiaoLH #concept #modelling #ontology #perspective #security #towards
Towards an Ontological Interpretation on the i* Modeling Language Extended with Security Concepts: A Bunge-Wand-Weber Model Perspective (GYL, PJL, LTH), pp. 322–328.
HCIHIMI-v2-2011-TakahashiT #information management
Big Fat Wand: A Laser Projection System for Information Sharing in a Workspace (TT, TT), pp. 403–410.
CSLCSL-2008-BrocheninDL #on the
On the Almighty Wand (RB, SD, ÉL), pp. 323–338.
CHICHI-2003-WilsonS #named #user interface
XWand: UI for intelligent spaces (AW, SAS), pp. 545–552.
HCIHCI-SEC-1997-MartinH #adaptation #design #generative #modelling #multi #object-oriented
Generating Adaptable Multimedia Software from Dynamic Object Oriented Models: The ObjectWand Design Environment (CM, MH), pp. 703–706.
ICLPILPS-1993-CodishD #logic programming #source code #using
Analysing Logic Programs Using “Prop”-ositional Logic Programs and a Magic Wand (MC, BD), pp. 114–129.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.