boogie
boogie 英 [ˈbu:gi] 美 [ˈbʊgi]
n. 黑人 vi. 摆动身体（过去式boogied，过去分词boogied，现在分词boogying，第三人称单数boogies）
进行时:boogieing 过去式:boogied 过去分词:boogied 第三人称单数:boogies 名词复数:boogies
- 请先登录
- n. 黑人
- vi. 摆动身体（过去式boogied，过去分词boogied，现在分词boogying，第三人称单数boogies）
-
1. boogie is also the name of a tool.
Boogie还是一种工具的名称。
-
2. Hand in hand with Spec# is boogie, an intermediate language for code verification.
与Spec#配套的有Boogie，一种用于代码验证的中间语言。
-
3. boogie is used to verify the assembly language against a specification and guarantees safe interaction with the TAL code and hardware.
它还使用Boogie根据规范来验证汇编语言，并确保它可以与TAL代码和硬件安全地交互。
- boogie (v.) 1974 as "dance to boogie music," a late 1960s style of rock music based on blues chords; earlier it was the name of a style of blues (1941, also as a verb), short for boogie-woogie (1928), a rhyming reduplication of the noun boogie (1917), which meant "rent party" in American English slang. A song title, "That Syncopated Boogie-boo," appears in a copyright listing from 1912. As a derogatory term for "black person" by 1923.
- 请先登录
0 个回复