BOOGIE是什麼意思

boogie英 ['buːgɪ] 美 ['bʊɡi] n. 黑人vi. 擺動身體（過去式boogied，過去分詞boogied，現在分詞boogying，第三人稱單數boogies）[ 過去式 boogied 過去分詞 boogied 現在分詞 boogieing ]雙語例句：1.I love this song, let’s boogie. 我很喜歡這首歌，讓我們跳舞吧。 in hand with Spec# is Boogie, an intermediate language for codeverification. 與Spec#配套的有Boogie，一種用於代碼驗證的中間語言。ie is used to verify the assembly language against a specification andguarantees safe interaction with the TAL code and hardware. 它還使用Boogie根據規範來驗證彙編語言，並確保它可以與TAL代碼和硬件安全地交互。